(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 8.0' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       157,          7]
NotebookDataLength[    128578,       2521]
NotebookOptionsPosition[    127153,       2469]
NotebookOutlinePosition[    127490,       2484]
CellTagsIndexPosition[    127447,       2481]
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[
 RowBox[{
  RowBox[{"baseline", "=", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{
      "\"\<n\>\"", ",", "\"\<phi\>\"", ",", "\"\<delta\>\"", ",", 
       "\"\<find_halves_time\>\"", ",", "\"\<merge_halves_time\>\"", ",", 
       "\"\<tcount_time\>\"", ",", "\"\<halves_size\>\"", ",", 
       "\"\<b_max\>\"", ",", "\"\<max_tuples_memory_size\>\"", ",", 
       "\"\<tuples_processed\>\"", ",", "\"\<factor_calls\>\"", ",", 
       "\"\<norm_equation_calls\>\""}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "8", ",", "0.05654866776461627692", ",", "0.01999230726413182488", ",", 
       "0.09705199999999999938", ",", "0.01568800000000000056", ",", 
       "0.09808999999999999664", ",", "100", ",", "0", ",", "6", ",", "6", 
       ",", "0", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "9", ",", "0.05654866776461627692", ",", "0.01999230726413182488", ",", 
       "0.07668900000000000716", ",", "0.02320300000000000140", ",", 
       "0.08256800000000000250", ",", "100", ",", "0", ",", "6", ",", "6", 
       ",", "0", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "10", ",", "0.05654866776461627692", ",", "0.01999230726413182488", ",",
        "0.09207100000000000006", ",", "0.02514600000000000168", ",", 
       "7.13415999999999961290", ",", "132", ",", "0", ",", "13", ",", "13", 
       ",", "1", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "11", ",", "0.05654866776461627692", ",", "0.01999230726413182488", ",",
        "0.10074500000000000122", ",", "0.02692500000000000102", ",", 
       "0.12636300000000000310", ",", "132", ",", "0", ",", "13", ",", "13", 
       ",", "1", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "12", ",", "0.05654866776461627692", ",", "0.01015502112232265046", ",",
        "0.12082800000000000484", ",", "0.03112399999999999889", ",", 
       "0.26029900000000000260", ",", "188", ",", "0", ",", "15", ",", "15", 
       ",", "0", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "13", ",", "0.05654866776461627692", ",", "0.01015502112232265046", ",",
        "0.11949499999999999011", ",", "0.03047599999999999962", ",", 
       "0.21348700000000001009", ",", "188", ",", "0", ",", "15", ",", "15", 
       ",", "0", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "14", ",", "0.05654866776461627692", ",", "0.01015502112232265046", ",",
        "0.15067999999999998062", ",", "0.05366499999999999743", ",", 
       "1.05636499999999999844", ",", "260", ",", "0", ",", "28", ",", "28", 
       ",", "2", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "15", ",", "0.05654866776461627692", ",", "0.01015502112232265046", ",",
        "0.15322900000000000409", ",", "0.05365400000000000030", ",", 
       "0.26714999999999999858", ",", "260", ",", "0", ",", "28", ",", "28", 
       ",", "2", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "16", ",", "0.05654866776461627692", ",", "0.00593011062993760180", ",",
        "0.20195400000000002239", ",", "0.06213099999999999873", ",", 
       "0.49670599999999998087", ",", "372", ",", "0", ",", "31", ",", "31", 
       ",", "1", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "17", ",", "0.05654866776461627692", ",", "0.00593011062993760180", ",",
        "0.20130100000000000771", ",", "0.05994300000000000322", ",", 
       "0.49630900000000000016", ",", "372", ",", "0", ",", "31", ",", "31", 
       ",", "1", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "18", ",", "0.05654866776461627692", ",", "0.00593011062993760180", ",",
        "0.45381599999999999717", ",", "0.16142200000000000992", ",", 
       "10.19133000000000066620", ",", "555", ",", "0", ",", "93", ",", "93", 
       ",", "11", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "19", ",", "0.05654866776461627692", ",", "0.00593011062993760180", ",",
        "0.45688099999999998158", ",", "0.16172800000000001064", ",", 
       "6.08230000000000003979", ",", "555", ",", "0", ",", "93", ",", "93", 
       ",", "6", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "20", ",", "0.05654866776461627692", ",", "0.00459255912818850188", ",",
        "0.62890400000000001857", ",", "0.20057300000000000129", ",", 
       "1.92860999999999993548", ",", "859", ",", "0", ",", "64", ",", "97", 
       ",", "2", ",", "1"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "21", ",", "0.05654866776461627692", ",", "0.00272083926109946590", ",",
        "0.36461100000000001842", ",", "0.12727299999999999724", ",", 
       "1.85495699999999996699", ",", "732", ",", "0", ",", "31", ",", "54", 
       ",", "2", ",", "1"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "22", ",", "0.05654866776461627692", ",", "0.00272083926109946590", ",",
        "0.49681300000000000461", ",", "0.25270300000000001095", ",", 
       "11.22072099999999927888", ",", "1028", ",", "0", ",", "77", ",", 
       "124", ",", "11", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "23", ",", "0.05654866776461627692", ",", "0.00272083926109946590", ",",
        "0.49365400000000003722", ",", "0.14989199999999999746", ",", 
       "1.57572800000000001752", ",", "1028", ",", "0", ",", "77", ",", "77", 
       ",", "2", ",", "1"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "24", ",", "0.05654866776461627692", ",", "0.00102739473699396569", ",",
        "0.68084800000000000875", ",", "0.11751200000000000534", ",", 
       "3.27197899999999997078", ",", "1460", ",", "0", ",", "49", ",", "49", 
       ",", "3", ",", "2"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "25", ",", "0.05654866776461627692", ",", "0.00102739473699396569", ",",
        "0.71137000000000005784", ",", "0.11767700000000000382", ",", 
       "3.88184899999999988296", ",", "1460", ",", "0", ",", "49", ",", "49", 
       ",", "3", ",", "2"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "26", ",", "0.05654866776461627692", ",", "0.00102739473699396569", ",",
        "0.95094800000000001550", ",", "0.27069300000000001694", ",", 
       "8.93116599999999927206", ",", "2052", ",", "0", ",", "135", ",", 
       "135", ",", "7", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "27", ",", "0.05654866776461627692", ",", "0.00098617338907730154", ",",
        "0.94487300000000007394", ",", "0.25470500000000001473", ",", 
       "8.92865199999999958891", ",", "2052", ",", "0", ",", "127", ",", 
       "127", ",", "7", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "28", ",", "0.05654866776461627692", ",", "0.00098617338907730154", ",",
        "2.28513600000000005608", ",", "1.54614600000000002034", ",", 
       "4.82218299999999988614", ",", "2936", ",", "0", ",", "400", ",", 
       "400", ",", "3", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "29", ",", "0.05654866776461627692", ",", "0.00040361646384241395", ",",
        "1.32197699999999995768", ",", "0.20158499999999998642", ",", 
       "5.69004699999999985494", ",", "2908", ",", "0", ",", "75", ",", "75", 
       ",", "3", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "30", ",", "0.05654866776461627692", ",", "0.00040361646384241395", ",",
        "1.87084600000000000897", ",", "0.37426100000000001033", ",", 
       "12.80137299999999989097", ",", "4100", ",", "0", ",", "166", ",", 
       "166", ",", "8", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "31", ",", "0.05654866776461627692", ",", "0.00040361646384241395", ",",
        "1.88576100000000002055", ",", "0.37403999999999998360", ",", 
       "3.54985399999999984288", ",", "4100", ",", "0", ",", "166", ",", 
       "166", ",", "3", ",", "2"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "32", ",", "0.05654866776461627692", ",", "0.00024049549691214931", ",",
        "2.60936199999999995924", ",", "0.43245600000000000707", ",", 
       "7.62053600000000042058", ",", "5804", ",", "0", ",", "174", ",", 
       "174", ",", "7", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "33", ",", "0.05654866776461627692", ",", "0.00024049549691214931", ",",
        "2.62096299999999970964", ",", "0.43547299999999999898", ",", 
       "7.63485399999999980736", ",", "5804", ",", "0", ",", "174", ",", 
       "174", ",", "7", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "34", ",", "0.05654866776461627692", ",", "0.00024049549691214931", ",",
        "3.73817099999999991056", ",", "1.00235500000000010701", ",", 
       "29.19860800000000011778", ",", "8196", ",", "0", ",", "497", ",", 
       "497", ",", "26", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "35", ",", "0.05654866776461627692", ",", "0.00024049549691214931", ",",
        "3.70204299999999975057", ",", "1.00423299999999993126", ",", 
       "15.59056499999999978456", ",", "8196", ",", "0", ",", "497", ",", 
       "497", ",", "12", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "36", ",", "0.05654866776461627692", ",", "0.00022589112105616624", ",",
        "5.23959299999999927877", ",", "2.33397999999999994358", ",", 
       "78.76997199999999565989", ",", "11596", ",", "0", ",", "1278", ",", 
       "1278", ",", "64", ",", "52"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "37", ",", "0.05654866776461627692", ",", "0.00022589112105616624", ",",
        "5.23675099999999993372", ",", "2.32205700000000003769", ",", 
       "23.81891600000000153159", ",", "11596", ",", "0", ",", "1278", ",", 
       "1278", ",", "20", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "38", ",", "0.05654866776461627692", ",", "0.00011164293321635590", ",",
        "7.44574599999999975353", ",", "1.86555599999999999206", ",", 
       "69.87416299999999580450", ",", "16388", ",", "0", ",", "891", ",", 
       "891", ",", "50", ",", "50"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "39", ",", "0.05654866776461627692", ",", "0.00011164293321635590", ",",
        "7.42210799999999970566", ",", "1.87157499999999998863", ",", 
       "50.90379800000000187765", ",", "16388", ",", "0", ",", "891", ",", 
       "891", ",", "38", ",", "34"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "40", ",", "0.05654866776461627692", ",", "0.00010513553694713441", ",",
        "10.50564999999999926672", ",", "4.86025799999999996714", ",", 
       "91.43566200000000776527", ",", "23180", ",", "0", ",", "1265", ",", 
       "2243", ",", "72", ",", "53"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "41", ",", "0.05654866776461627692", ",", "0.00009195885806072241", ",",
        "10.41813499999999947931", ",", "2.20429299999999983584", ",", 
       "10.18202499999999943725", ",", "23180", ",", "0", ",", "978", ",", 
       "978", ",", "7", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "42", ",", "0.05654866776461627692", ",", "0.00003525701098756433", ",",
        "14.84782799999999980400", ",", "2.14189899999999999736", ",", 
       "28.02759500000000159048", ",", "32772", ",", "0", ",", "711", ",", 
       "711", ",", "24", ",", "13"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "43", ",", "0.05654866776461627692", ",", "0.00003525701098756433", ",",
        "14.80677800000000132741", ",", "2.15177599999999991098", ",", 
       "16.31514100000000055957", ",", "32772", ",", "0", ",", "711", ",", 
       "711", ",", "10", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "44", ",", "0.05654866776461627692", ",", "0.00002792412392018599", ",",
        "21.05713000000000079126", ",", "3.44067800000000012517", ",", 
       "35.98496899999999953934", ",", "46348", ",", "0", ",", "1267", ",", 
       "1267", ",", "23", ",", "14"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "45", ",", "0.05654866776461627692", ",", "0.00002792412392018599", ",",
        "21.05236599999999924648", ",", "3.44341100000000022163", ",", 
       "32.58020400000000194041", ",", "46348", ",", "0", ",", "1267", ",", 
       "1267", ",", "20", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "46", ",", "0.05654866776461627692", ",", "0.00002728208190181378", ",",
        "29.94177499999999980673", ",", "7.37488399999999977297", ",", 
       "10.83172000000000068098", ",", "65540", ",", "0", ",", "3379", ",", 
       "3379", ",", "3", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "47", ",", "0.05654866776461627692", ",", "0.00001039765849762005", ",",
        "30.03106400000000064665", ",", "2.97694800000000014961", ",", 
       "9.51613599999999948409", ",", "65540", ",", "0", ",", "489", ",", 
       "489", ",", "2", ",", "2"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "48", ",", "0.05654866776461627692", ",", "0.00001039765849762005", ",",
        "42.36522399999999777265", ",", "5.28418600000000004968", ",", 
       "36.78764499999999770807", ",", "92692", ",", "0", ",", "1394", ",", 
       "1394", ",", "15", ",", "17"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "49", ",", "0.05654866776461627692", ",", "0.00000972353851846321", ",",
        "42.43588200000000654200", ",", "4.98886099999999999000", ",", 
       "34.34251199999999926149", ",", "92692", ",", "0", ",", "1214", ",", 
       "1214", ",", "14", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "50", ",", "0.05654866776461627692", ",", "0.00000972353851846321", ",",
        "60.25745999999999469310", ",", "10.11404100000000028103", ",", 
       "40.72190299999999751890", ",", "131076", ",", "0", ",", "3447", ",", 
       "3447", ",", "18", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "51", ",", "0.05654866776461627692", ",", "0.00000621652606241986", ",",
        "60.48840299999999814418", ",", "6.93622400000000016718", ",", 
       "37.24922099999999858255", ",", "131076", ",", "0", ",", "1422", ",", 
       "1422", ",", "16", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "52", ",", "0.05654866776461627692", ",", "0.00000614826915552674", ",",
        "85.49722400000000277487", ",", "12.55692900000000022942", ",", 
       "117.21182100000000048112", ",", "185372", ",", "0", ",", "3882", ",", 
       "3882", ",", "72", ",", "58"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "53", ",", "0.05654866776461627692", ",", "0.00000573735820690981", ",",
        "85.29645999999999617103", ",", "11.78898000000000045873", ",", 
       "42.14359199999999816555", ",", "185372", ",", "0", ",", "3378", ",", 
       "3378", ",", "17", ",", "17"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "54", ",", "0.05654866776461627692", ",", "0.00000387700281530508", ",",
        "121.68400699999999403644", ",", "16.86451999999999884494", ",", 
       "102.36446899999999970987", ",", "262148", ",", "0", ",", "4365", ",", 
       "4365", ",", "72", ",", "41"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "55", ",", "0.05654866776461627692", ",", "0.00000353464453443652", ",",
        "121.25828599999999823922", ",", "15.88633500000000076113", ",", 
       "40.93794499999999914053", ",", "262148", ",", "0", ",", "3622", ",", 
       "3622", ",", "22", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "56", ",", "0.05654866776461627692", ",", "0.00000246349877369479", ",",
        "172.56055800000001454464", ",", "21.79234299999999890929", ",", 
       "85.94677199999999572810", ",", "370732", ",", "0", ",", "4990", ",", 
       "4990", ",", "50", ",", "34"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "57", ",", "0.05654866776461627692", ",", "0.00000194421866189524", ",",
        "172.01849500000000148248", ",", "18.70266099999999909187", ",", 
       "11.03309499999999943043", ",", "370732", ",", "0", ",", "3110", ",", 
       "3110", ",", "3", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "58", ",", "0.05654866776461627692", ",", "0.00000076995005049797", ",",
        "244.98283299999999940155", ",", "24.47778500000000079240", ",", 
       "24.87640599999999935221", ",", "524292", ",", "0", ",", "1377", ",", 
       "1377", ",", "10", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "59", ",", "0.05654866776461627692", ",", "0.00000073711276907498", ",",
        "244.79528099999998858038", ",", "24.37387000000000014666", ",", 
       "22.69086899999999928923", ",", "524292", ",", "0", ",", "1264", ",", 
       "1264", ",", "9", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "60", ",", "0.05654866776461627692", ",", "0.00000073711276907498", ",",
        "347.41321200000004409958", ",", "35.03664400000000256341", ",", 
       "32.36012999999999806278", ",", "741460", ",", "0", ",", "3596", ",", 
       "3596", ",", "11", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "61", ",", "0.05654866776461627692", ",", "0.00000049101321043618", ",",
        "346.32554500000003372406", ",", "31.98598499999999944521", ",", 
       "32.38192500000000251248", ",", "741460", ",", "0", ",", "1596", ",", 
       "1596", ",", "11", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "62", ",", "0.05654866776461627692", ",", "0.00000049101321043618", ",",
        "494.87094300000001112494", ",", "59.01088899999999881629", ",", 
       "126.40975799999999651391", ",", "1048580", ",", "0", ",", "4492", ",",
        "4492", ",", "49", ",", "51"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "63", ",", "0.05654866776461627692", ",", "0.00000049101321043618", ",",
        "496.38101999999997815394", ",", "58.84000400000000041700", ",", 
       "3.76915600000000017289", ",", "1048580", ",", "0", ",", "4492", ",", 
       "4492", ",", "1", ",", "2"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "64", ",", "0.05654866776461627692", ",", "0.00000008185622599889", ",",
        "701.98629200000004857429", ",", "64.05306000000000210548", ",", 
       "5.07184599999999985442", ",", "1482916", ",", "0", ",", "356", ",", 
       "356", ",", "1", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "65", ",", "0.05654866776461627692", ",", "0.00000008185622599889", ",",
        "701.90251200000000153523", ",", "65.69320999999999344254", ",", 
       "5.07182499999999958362", ",", "1482916", ",", "0", ",", "356", ",", 
       "356", ",", "1", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "66", ",", "0.05654866776461627692", ",", "0.00000008185622599889", ",",
        "1002.25601400000005014590", ",", "106.71703100000000574710", ",", 
       "17.62883000000000066620", ",", "2097156", ",", "0", ",", "1004", ",", 
       "1004", ",", "5", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "67", ",", "0.05654866776461627692", ",", "0.00000008185622599889", ",",
        "1000.81743899999992208905", ",", "111.72972799999999438114", ",", 
       "17.66698099999999982401", ",", "2097156", ",", "0", ",", "1004", ",", 
       "1004", ",", "5", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "68", ",", "0.05654866776461627692", ",", "0.00000008185622599889", ",",
        "1457.07162999999991370714", ",", "133.84547100000000341424", ",", 
       "49.16185200000000321552", ",", "2965828", ",", "0", ",", "2832", ",", 
       "2832", ",", "12", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "69", ",", "0.05654866776461627692", ",", "0.00000008185622599889", ",",
        "1417.89968999999996412953", ",", "133.72389300000000389446", ",", 
       "49.23197100000000148157", ",", "2965828", ",", "0", ",", "2832", ",", 
       "2832", ",", "12", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "70", ",", "0.05654866776461627692", ",", "0.00000008185622599889", ",",
        "2020.51529699999991862569", ",", "245.76909200000000055297", ",", 
       "44.65677699999999816782", ",", "4194308", ",", "0", ",", "8000", ",", 
       "8000", ",", "16", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "71", ",", "0.05654866776461627692", ",", "0.00000004573318689134", ",",
        "2024.81533300000000963337", ",", "236.45517799999998942440", ",", 
       "43.44298799999999971533", ",", "4194308", ",", "0", ",", "2491", ",", 
       "2491", ",", "15", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "72", ",", "0.05654866776461627692", ",", "0.00000004573318689134", ",",
        "2863.96788199999991775258", ",", "291.97989000000001169610", ",", 
       "87.45265600000000461023", ",", "5931652", ",", "0", ",", "7063", ",", 
       "7063", ",", "25", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "73", ",", "0.05654866776461627692", ",", "0.00000003878810532482", ",",
        "2854.10281500000019150320", ",", "290.17350499999997737177", ",", 
       "61.30831299999999828287", ",", "5931652", ",", "0", ",", "5077", ",", 
       "5077", ",", "17", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "74", ",", "0.05654866776461627692", ",", "0.00000003290746006678", ",",
        "4093.20322200000009615906", ",", "529.86807399999997869600", ",", 
       "47.44211899999999815236", ",", "8388612", ",", "0", ",", "10338", ",",
        "10338", ",", "7", ",", "9"}], "}"}]}], "}"}]}], ";"}]], "Input",
 CellChangeTimes->{{3.593878135980795*^9, 3.593878149392872*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"baseline", "//", "TableForm"}]], "Input",
 CellChangeTimes->{{3.593878151784844*^9, 3.5938781634829483`*^9}}],

Cell[BoxData[
 TagBox[GridBox[{
    {"\<\"n\"\>", "\<\"phi\"\>", "\<\"delta\"\>", "\<\"find_halves_time\"\>", \
"\<\"merge_halves_time\"\>", "\<\"tcount_time\"\>", "\<\"halves_size\"\>", \
"\<\"b_max\"\>", "\<\"max_tuples_memory_size\"\>", \
"\<\"tuples_processed\"\>", "\<\"factor_calls\"\>", \
"\<\"norm_equation_calls\"\>"},
    {"8", "0.05654866776461627692`18.752422377797433", 
     "0.01999230726413182488`18.30086291789288", 
     "0.09705199999999999938`18.987004489544212", 
     "0.0156880000000000005600000000000000000000000000000000000001`18.\
195567580659727", "0.09808999999999999664`18.991624734534007", "100", "0", 
     "6", "6", "0", "0"},
    {"9", "0.05654866776461627692`18.752422377797433", 
     "0.01999230726413182488`18.30086291789288", 
     "0.0766890000000000071599999999999999999999999999999999999999`18.\
884733074745593", "0.0232030000000000014`18.36554414002947", 
     "0.0825680000000000025000000000000000000000000000000000000001`18.\
91681176504301", "100", "0", "6", "6", "0", "0"},
    {"10", "0.05654866776461627692`18.752422377797433", 
     "0.01999230726413182488`18.30086291789288", 
     "0.09207100000000000006`18.964122860129034", 
     "0.02514600000000000168`18.400468911217484", 
     "7.1341599999999996128999999999999999999999999999999999999999`20.\
85334284516744", "132", "0", "13", "13", "1", "0"},
    {"11", "0.05654866776461627692`18.752422377797433", 
     "0.01999230726413182488`18.30086291789288", 
     "0.1007450000000000012200000000000000000000000000000000000001`19.\
003223501202292", "0.02692500000000000102`18.430155711970023", 
     "0.1263630000000000030999999999999999999999999999999999999999`19.\
101619927995856", "132", "0", "13", "13", "1", "0"},
    {"12", "0.05654866776461627692`18.752422377797433", 
     "0.01015502112232265046`18.006680831069104", 
     "0.1208280000000000048400000000000000000000000000000000000001`19.\
082167586904404", "0.03112399999999999889`18.493095406643278", 
     "0.2602990000000000025999999999999999999999999999999999999999`19.\
41547249966776", "188", "0", "15", "15", "0", "0"},
    {"13", "0.05654866776461627692`18.752422377797433", 
     "0.01015502112232265046`18.006680831069104", 
     "0.11949499999999999011`19.077349733586765", 
     "0.03047599999999999962`18.48395796490097", 
     "0.2134870000000000100899999999999999999999999999999999999999`19.\
32937143439543", "188", "0", "15", "15", "0", "0"},
    {"14", "0.05654866776461627692`18.752422377797433", 
     "0.01015502112232265046`18.006680831069104", 
     "0.1506799999999999806200000000000000000000000000000000000001`19.\
17805561153123", 
     "0.0536649999999999974300000000000000000000000000000000000001`18.\
729691133696477", "1.05636499999999999844`20.023814003516826", "260", "0", 
     "28", "28", "2", "0"},
    {"15", "0.05654866776461627692`18.752422377797433", 
     "0.01015502112232265046`18.006680831069104", 
     "0.15322900000000000409`19.185340967307578", 
     "0.0536540000000000003000000000000000000000000000000000000001`18.\
729602104925853", "0.26714999999999999858`19.426755178518924", "260", "0", 
     "28", "28", "2", "0"},
    {"16", "0.05654866776461627692`18.752422377797433", 
     "0.0059301106299376018`17.773062795476115", 
     "0.20195400000000002239`19.305252459440766", 
     "0.06213099999999999873`18.79330834364993", 
     "0.4967059999999999808699999999999999999999999999999999999999`19.\
696099406121963", "372", "0", "31", "31", "1", "0"},
    {"17", "0.05654866776461627692`18.752422377797433", 
     "0.0059301106299376018`17.773062795476115", 
     "0.2013010000000000077100000000000000000000000000000000000001`19.\
303845932332287", "0.05994300000000000322`18.77773847452625", 
     "0.49630900000000000016`19.695752150705882", "372", "0", "31", "31", "1",
      "0"},
    {"18", "0.05654866776461627692`18.752422377797433", 
     "0.0059301106299376018`17.773062795476115", 
     "0.45381599999999999717`19.656879803556883", 
     "0.16142200000000000992`19.20796272386492", 
     "10.1913300000000006662000000000000000000000000000000000000001`21.\
00823086447446", "555", "0", "93", "93", "11", "7"},
    {"19", "0.05654866776461627692`18.752422377797433", 
     "0.0059301106299376018`17.773062795476115", 
     "0.45688099999999998158`19.65980309772143", 
     "0.16172800000000001064`19.208785215903806", 
     "6.08230000000000003979`20.78406783723715", "555", "0", "93", "93", "6", 
     "4"},
    {"20", "0.05654866776461627692`18.752422377797433", 
     "0.0045925591281885018800000000000000000000000000000000000001`17.\
662054756459757", "0.62890400000000001857`19.79858435696802", 
     "0.20057300000000000129`19.302272470358297", 
     "1.9286099999999999354799999999999999999999999999999999999999`20.\
285244414283532", "859", "0", "64", "97", "2", "1"},
    {"21", "0.05654866776461627692`18.752422377797433", 
     "0.0027208392610994659000000000000000000000000000000000000001`17.\
43470288574172", "0.36461100000000001842`19.56182976680727", 
     "0.12727299999999999724`19.104736281150046", 
     "1.85495699999999996699`20.268333846630757", "732", "0", "31", "54", "2",
      "1"},
    {"22", "0.05654866776461627692`18.752422377797433", 
     "0.0027208392610994659000000000000000000000000000000000000001`17.\
43470288574172", "0.49681300000000000461`19.696192951408456", 
     "0.25270300000000001095`19.402610397739906", 
     "11.2207209999999992788799999999999999999999999999999999999999`21.\
050020763895294", "1028", "0", "77", "124", "11", "7"},
    {"23", "0.05654866776461627692`18.752422377797433", 
     "0.0027208392610994659000000000000000000000000000000000000001`17.\
43470288574172", "0.49365400000000003722`19.693422660383558", 
     "0.14989199999999999746`19.17577845440552", 
     "1.57572800000000001752`20.197481252307057", "1028", "0", "77", "77", 
     "2", "1"},
    {"24", "0.05654866776461627692`18.752422377797433", 
     "0.00102739473699396569`17.011737336645925", 
     "0.68084800000000000875`19.83305016605462", 
     "0.11751200000000000534`19.07008221782205", 
     "3.27197899999999997078`20.514810507648008", "1460", "0", "49", "49", 
     "3", "2"},
    {"25", "0.05654866776461627692`18.752422377797433", 
     "0.00102739473699396569`17.011737336645925", 
     "0.71137000000000005784`19.852095546105346", 
     "0.11767700000000000382`19.07069158816906", 
     "3.88184899999999988296`20.58903863776481", "1460", "0", "49", "49", "3",
      "2"},
    {"26", "0.05654866776461627692`18.752422377797433", 
     "0.00102739473699396569`17.011737336645925", 
     "0.9509480000000000155`19.978156769376426", 
     "0.27069300000000001694`19.43247702525451", 
     "8.93116599999999927206`20.950908161498738", "2052", "0", "135", "135", 
     "7", "5"},
    {"27", "0.05654866776461627692`18.752422377797433", 
     "0.0009861733890773015`", "0.94487300000000007394`19.9753734390852", 
     "0.25470500000000001473`19.40603747048814", 
     "8.9286519999999995889100000000000000000000000000000000000001`20.\
95078589638554", "2052", "0", "127", "127", "7", "5"},
    {"28", "0.05654866776461627692`18.752422377797433", 
     "0.0009861733890773015`", "2.28513600000000005608`20.358912052236022", 
     "1.54614600000000002034`20.189250501225626", 
     "4.82218299999999988614`20.683243687663612", "2936", "0", "400", "400", 
     "3", "3"},
    {"29", "0.05654866776461627692`18.752422377797433", 
     "0.00040361646384241395`", "1.32197699999999995768`20.121223899279755", 
     "0.20158499999999998642`19.30445821299376", 
     "5.6900469999999998549400000000000000000000000000000000000001`20.\
755115853698474", "2908", "0", "75", "75", "3", "3"},
    {"30", "0.05654866776461627692`18.752422377797433", 
     "0.00040361646384241395`", 
     "1.8708460000000000089700000000000000000000000000000000000001`20.\
272038039716563", "0.37426100000000001033`19.57317457366197", 
     "12.80137299999999989097`21.107256552018605", "4100", "0", "166", "166", 
     "8", "8"},
    {"31", "0.05654866776461627692`18.752422377797433", 
     "0.00040361646384241395`", 
     "1.8857610000000000205500000000000000000000000000000000000001`20.\
275486649717095", "0.3740399999999999836`19.572918048324468", 
     "3.54985399999999984288`20.55021049156263", "4100", "0", "166", "166", 
     "3", "2"},
    {"32", "0.05654866776461627692`18.752422377797433", 
     "0.0002404954969121493`", 
     "2.6093619999999999592399999999999999999999999999999999999999`20.\
416534333487604", 
     "0.4324560000000000070700000000000000000000000000000000000001`19.\
635941926993237", "7.62053600000000042058`20.881985519063438", "5804", "0", 
     "174", "174", "7", "4"},
    {"33", "0.05654866776461627692`18.752422377797433", 
     "0.0002404954969121493`", 
     "2.6209629999999997096400000000000000000000000000000000000001`20.\
418460890076997", "0.43547299999999999898`19.63896123324835", 
     "7.6348539999999998073599999999999999999999999999999999999999`20.\
882800736533156", "5804", "0", "174", "174", "7", "4"},
    {"34", "0.05654866776461627692`18.752422377797433", 
     "0.0002404954969121493`", "3.73817099999999991056`20.572659163992462", 
     "1.00235500000000010701`20.001021561088283", 
     "29.1986080000000001177800000000000000000000000000000000000001`21.\
46536214760155", "8196", "0", "497", "497", "26", "18"},
    {"35", "0.05654866776461627692`18.752422377797433", 
     "0.0002404954969121493`", 
     "3.7020429999999997505700000000000000000000000000000000000001`20.\
568441458866985", "1.00423299999999993126`20.00183448858028", 
     "15.59056499999999978456`21.192861854248243", "8196", "0", "497", "497", 
     "12", "7"},
    {"36", "0.05654866776461627692`18.752422377797433", 
     "0.00022589112105616624`", 
     "5.2395929999999992787699999999999999999999999999999999999999`20.\
71929755325872", "2.33397999999999994358`20.36809713023256", 
     "78.7699719999999956598900000000000000000000000000000000000001`21.\
896360691092685", "11596", "0", "1278", "1278", "64", "52"},
    {"37", "0.05654866776461627692`18.752422377797433", 
     "0.00022589112105616624`", 
     "5.2367509999999999337200000000000000000000000000000000000001`20.\
719061924312626", 
     "2.3220570000000000376900000000000000000000000000000000000001`20.\
365872876247362", 
     "23.8189160000000015315899999999999999999999999999999999999999`21.\
376921992833964", "11596", "0", "1278", "1278", "20", "18"},
    {"38", "0.05654866776461627692`18.752422377797433", 
     "0.0001116429332163559`", "7.44574599999999975353`20.871908216856873", 
     "1.8655559999999999920600000000000000000000000000000000000001`20.\
270808290163757", 
     "69.8741629999999958044999999999999999999999999999999999999999`21.\
844316618652496", "16388", "0", "891", "891", "50", "50"},
    {"39", "0.05654866776461627692`18.752422377797433", 
     "0.0001116429332163559`", "7.42210799999999970566`20.8705272695308", 
     "1.8715749999999999886300000000000000000000000000000000000001`20.\
272207235368956", "50.90379800000000187765`21.70675018683395", "16388", "0", 
     "891", "891", "38", "34"},
    {"40", "0.05654866776461627692`18.752422377797433", 
     "0.00010513553694713441`", 
     "10.5056499999999992667200000000000000000000000000000000000001`21.\
02142292801091", 
     "4.8602579999999999671399999999999999999999999999999999999999`20.\
68665932378953", "91.43566200000000776527`21.961115613557908", "23180", "0", 
     "1265", "2243", "72", "53"},
    {"41", "0.05654866776461627692`18.752422377797433", 
     "0.00009195885806072241`", "10.41813499999999947931`21.01778998079635", 
     "2.2042929999999998358399999999999999999999999999999999999999`20.\
34326932149815", 
     "10.1820249999999994372499999999999999999999999999999999999999`21.\
00783415902903", "23180", "0", "978", "978", "7", "5"},
    {"42", "0.05654866776461627692`18.752422377797433", 
     "0.00003525701098756433`", "14.847827999999999804`21.171662927955918", 
     "2.14189899999999999736`20.330798988075287", 
     "28.0275950000000015904800000000000000000000000000000000000001`21.\
447585833292216", "32772", "0", "711", "711", "24", "13"},
    {"43", "0.05654866776461627692`18.752422377797433", 
     "0.00003525701098756433`", "14.80677800000000132741`21.170460564999587", 
     "2.1517759999999999109800000000000000000000000000000000000001`20.\
33279705926791", 
     "16.3151410000000005595700000000000000000000000000000000000001`21.\
21259083143418", "32772", "0", "711", "711", "10", "7"},
    {"44", "0.05654866776461627692`18.752422377797433", 
     "0.00002792412392018599`", 
     "21.0571300000000007912600000000000000000000000000000000000001`21.\
323399178335677", "3.44067800000000012517`20.53664403054983", 
     "35.9849689999999995393400000000000000000000000000000000000001`21.\
556121132891654", "46348", "0", "1267", "1267", "23", "14"},
    {"45", "0.05654866776461627692`18.752422377797433", 
     "0.00002792412392018599`", 
     "21.0523659999999992464799999999999999999999999999999999999999`21.\
323300911715688", "3.44341100000000022163`20.536988862489512", 
     "32.58020400000000194041`21.51295379930328", "46348", "0", "1267", 
     "1267", "20", "12"},
    {"46", "0.05654866776461627692`18.752422377797433", 
     "0.00002728208190181378`", 
     "29.9417749999999998067299999999999999999999999999999999999999`21.\
4762775424952", "7.37488399999999977297`20.86775519365955", 
     "10.83172000000000068098`21.034697424972293", "65540", "0", "3379", 
     "3379", "3", "3"},
    {"47", "0.05654866776461627692`18.752422377797433", 
     "0.00001039765849762005`", "30.03106400000000064665`21.47757071951642", 
     "2.97694800000000014961`20.47377124865066", 
     "9.51613599999999948409`20.978460640135665", "65540", "0", "489", "489", 
     "2", "2"},
    {"48", "0.05654866776461627692`18.752422377797433", 
     "0.00001039765849762005`", 
     "42.3652239999999977726500000000000000000000000000000000000001`21.\
62700950701829", "5.28418600000000004968`20.72297809610221", 
     "36.7876449999999977080699999999999999999999999999999999999999`21.\
56570198690042", "92692", "0", "1394", "1394", "15", "17"},
    {"49", "0.05654866776461627692`18.752422377797433", 
     "9.72353851846321`*^-6", 
     "42.4358820000000065419999999999999999999999999999999999999999`21.\
62773323311223", "4.98886099999999999`20.698001403764003", 
     "34.3425119999999992614900000000000000000000000000000000000001`21.\
535832058671105", "92692", "0", "1214", "1214", "14", "15"},
    {"50", "0.05654866776461627692`18.752422377797433", 
     "9.72353851846321`*^-6", "60.2574599999999946931`21.780010821143627", 
     "10.11404100000000028103`21.00492470983022", 
     "40.7219029999999975189`21.60982806508233", "131076", "0", "3447", 
     "3447", "18", "18"},
    {"51", "0.05654866776461627692`18.752422377797433", 
     "6.21652606241986`*^-6", 
     "60.4884029999999981441800000000000000000000000000000000000001`21.\
78167211852218", 
     "6.9362240000000001671799999999999999999999999999999999999999`20.\
841123109899687", "37.24922099999999858255`21.57111719469669", "131076", "0", 
     "1422", "1422", "16", "15"},
    {"52", "0.05654866776461627692`18.752422377797433", 
     "6.14826915552674`*^-6", "85.49722400000000277487`21.931952013897135", 
     "12.55692900000000022942`21.098883438650233", 
     "117.2118210000000004811199999999999999999999999999999999999999`22.\
068971413185377", "185372", "0", "3882", "3882", "72", "58"},
    {"53", "0.05654866776461627692`18.752422377797433", 
     "5.73735820690981`*^-6", "85.29645999999999617103`21.930931007317948", 
     "11.78898000000000045873`21.071476230919135", 
     "42.14359199999999816555`21.624731548815895", "185372", "0", "3378", 
     "3378", "17", "17"},
    {"54", "0.05654866776461627692`18.752422377797433", 
     "3.87700281530508`*^-6", 
     "121.6840069999999940364400000000000000000000000000000000000001`22.\
085233502403728", "16.86451999999999884494`21.226973984759262", 
     "102.36446899999999970987`22.010149237938794", "262148", "0", "4365", 
     "4365", "72", "41"},
    {"55", "0.05654866776461627692`18.752422377797433", 
     "3.53464453443652`*^-6", 
     "121.2582859999999982392199999999999999999999999999999999999999`22.\
08371142513923", 
     "15.8863350000000007611299999999999999999999999999999999999999`21.\
201023716410372", "40.93794499999999914053`21.612126038190684", "262148", "0",
      "3622", "3622", "22", "12"},
    {"56", "0.05654866776461627692`18.752422377797433", 
     "2.46349877369479`*^-6", "172.56055800000001454464`22.236941536451983", 
     "21.7923429999999989092899999999999999999999999999999999999999`21.\
33830392585288", 
     "85.9467719999999957280999999999999999999999999999999999999999`21.\
93422957004095", "370732", "0", "4990", "4990", "50", "34"},
    {"57", "0.05654866776461627692`18.752422377797433", 
     "1.94421866189524`*^-6", "172.01849500000000148248`22.235575143678613", 
     "18.70266099999999909187`21.271903402012413", 
     "11.03309499999999943043`21.042697357669102", "370732", "0", "3110", 
     "3110", "3", "3"},
    {"58", "0.05654866776461627692`18.752422377797433", 
     "7.6995005049797`*^-7", 
     "244.9828329999999994015499999999999999999999999999999999999999`22.\
389135652549903", 
     "24.4777850000000007923999999999999999999999999999999999999999`21.\
388772115850973", "24.87640599999999935221`21.395787636183", "524292", "0", 
     "1377", "1377", "10", "6"},
    {"59", "0.05654866776461627692`18.752422377797433", 
     "7.3711276907498`*^-7", "244.79528099999998858038`22.388803041515143", 
     "24.37387000000000014666`21.386924490457126", 
     "22.69086899999999928923`21.355851128528304", "524292", "0", "1264", 
     "1264", "9", "4"},
    {"60", "0.05654866776461627692`18.752422377797433", 
     "7.3711276907498`*^-7", "347.41321200000004409958`22.54084633048871", 
     "35.0366440000000025634100000000000000000000000000000000000001`21.\
544522500404657", "32.36012999999999806278`21.51001025763026", "741460", "0", 
     "3596", "3596", "11", "8"},
    {"61", "0.05654866776461627692`18.752422377797433", 
     "4.9101321043618`*^-7", "346.32554500000003372406`22.539484526326778", 
     "31.98598499999999944521`21.504959729243918", 
     "32.38192500000000251248`21.51030266257758", "741460", "0", "1596", 
     "1596", "11", "8"},
    {"62", "0.05654866776461627692`18.752422377797433", 
     "4.9101321043618`*^-7", 
     "494.8709430000000111249399999999999999999999999999999999999999`22.\
694491954386557", "59.01088899999999881629`21.770932157341697", 
     "126.40975799999999651391`22.101780599911425", "1048580", "0", "4492", 
     "4492", "49", "51"},
    {"63", "0.05654866776461627692`18.752422377797433", 
     "4.9101321043618`*^-7", 
     "496.3810199999999781539399999999999999999999999999999999999999`22.\
695815167131986", "58.840004000000000417`21.769672693579253", 
     "3.76915600000000017289`20.57624411265181", "1048580", "0", "4492", 
     "4492", "1", "2"},
    {"64", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "701.98629200000004857429`22.846328631550197", 
     "64.0530600000000021054800000000000000000000000000000000000001`21.\
806539882080244", 
     "5.0718459999999998544200000000000000000000000000000000000001`20.\
705166058287407", "1482916", "0", "356", "356", "1", "0"},
    {"65", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "701.90251200000000153523`22.84627679668745", 
     "65.69320999999999344254`21.817520483533563", 
     "5.07182499999999958362`20.705164260085528", "1482916", "0", "356", 
     "356", "1", "0"},
    {"66", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "1002.2560140000000501458999999999999999999999999999999999999999`23.\
00097867089829", "106.7170310000000057471`22.028233734130076", 
     "17.6288300000000006662000000000000000000000000000000000000001`21.\
24622348975791", "2097156", "0", "1004", "1004", "5", "3"},
    {"67", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "1000.81743899999992208905`23.000354864226818", 
     "111.7297279999999943811400000000000000000000000000000000000001`22.\
048168741500803", 
     "17.6669809999999998240099999999999999999999999999999999999999`21.\
24716234197647", "2097156", "0", "1004", "1004", "5", "3"},
    {"68", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "1457.07162999999991370714`23.163480902318426", 
     "133.84547100000000341424`22.12660368031947", 
     "49.16185200000000321552`21.69162823504091", "2965828", "0", "2832", 
     "2832", "12", "6"},
    {"69", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "1417.8996899999999641295300000000000000000000000000000000000001`23.\
15164550756043", "133.72389300000000389446`22.126209011383054", 
     "49.23197100000000148157`21.692247223083115", "2965828", "0", "2832", 
     "2832", "12", "6"},
    {"70", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "2020.51529699999991862569`23.305462142765574", 
     "245.76909200000000055297`22.39052726497086", 
     "44.65677699999999816782`21.649887375662768", "4194308", "0", "8000", 
     "8000", "16", "7"},
    {"71", "0.05654866776461627692`18.752422377797433", "4.573318689134`*^-8",
      "2024.81533300000000963337`23.306385420876037", 
     "236.4551779999999894244`22.373748828828106", 
     "43.44298799999999971533`21.637919688295433", "4194308", "0", "2491", 
     "2491", "15", "6"},
    {"72", "0.05654866776461627692`18.752422377797433", "4.573318689134`*^-8",
      "2863.9678819999999177525800000000000000000000000000000000000001`23.\
456968143262788", "291.9798900000000116961`22.465352940616953", 
     "87.4526560000000046102300000000000000000000000000000000000001`21.\
94177300385046", "5931652", "0", "7063", "7063", "25", "12"},
    {"73", "0.05654866776461627692`18.752422377797433", "3.878810532482`*^-8",
      "2854.1028150000001915032000000000000000000000000000000000000001`23.\
45546961390228", 
     "290.1735049999999773717699999999999999999999999999999999999999`22.\
46265775559447", "61.30831299999999828287`21.787519365958087", "5931652", "0",
      "5077", "5077", "17", "8"},
    {"74", "0.05654866776461627692`18.752422377797433", "3.290746006678`*^-8",
      "4093.20322200000009615906`23.612063307313782", 
     "529.868073999999978696`22.724167752872834", 
     "47.44211899999999815236`21.6761640785319", "8388612", "0", "10338", 
     "10338", "7", "9"}
   },
   GridBoxAlignment->{
    "Columns" -> {{Left}}, "ColumnsIndexed" -> {}, "Rows" -> {{Baseline}}, 
     "RowsIndexed" -> {}},
   GridBoxSpacings->{"Columns" -> {
       Offset[0.27999999999999997`], {
        Offset[2.0999999999999996`]}, 
       Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> {
       Offset[0.2], {
        Offset[0.4]}, 
       Offset[0.2]}, "RowsIndexed" -> {}}],
  Function[BoxForm`e$, 
   TableForm[BoxForm`e$]]]], "Output",
 CellChangeTimes->{{3.5938781591308117`*^9, 3.593878164197969*^9}}]
}, Open  ]],

Cell[BoxData[
 RowBox[{
  RowBox[{"bopt", "=", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{
      "\"\<n\>\"", ",", "\"\<phi\>\"", ",", "\"\<delta\>\"", ",", 
       "\"\<find_halves_time\>\"", ",", "\"\<merge_halves_time\>\"", ",", 
       "\"\<tcount_time\>\"", ",", "\"\<halves_size\>\"", ",", 
       "\"\<b_max\>\"", ",", "\"\<max_tuples_memory_size\>\"", ",", 
       "\"\<tuples_processed\>\"", ",", "\"\<factor_calls\>\"", ",", 
       "\"\<norm_equation_calls\>\""}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "8", ",", "0.05654866776461627692", ",", "0.01999230726413182488", ",", 
       "0.09589000000000000301", ",", "0.00512600000000000035", ",", 
       "0.02969099999999999864", ",", "23", ",", "0", ",", "1", ",", "1", ",",
        "0", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "9", ",", "0.05654866776461627692", ",", "0.01999230726413182488", ",", 
       "0.07691399999999999626", ",", "0.00384199999999999993", ",", 
       "0.01585599999999999857", ",", "23", ",", "0", ",", "1", ",", "1", ",",
        "0", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "10", ",", "0.05654866776461627692", ",", "0.01999230726413182488", ",",
        "0.09407799999999999496", ",", "0.00951600000000000015", ",", 
       "6.49851600000000040325", ",", "49", ",", "0", ",", "4", ",", "4", ",",
        "1", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "11", ",", "0.05654866776461627692", ",", "0.01999230726413182488", ",",
        "0.09962999999999999634", ",", "0.00998600000000000008", ",", 
       "0.09781199999999999617", ",", "49", ",", "0", ",", "4", ",", "4", ",",
        "1", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "12", ",", "0.05654866776461627692", ",", "0.01015502112232265046", ",",
        "0.11855899999999999772", ",", "0.00094799999999999995", ",", 
       "0.00021000000000000001", ",", "51", ",", "0", ",", "0", ",", "0", ",",
        "0", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "13", ",", "0.05654866776461627692", ",", "0.01015502112232265046", ",",
        "0.11518000000000000460", ",", "0.00087799999999999998", ",", 
       "0.00018500000000000000", ",", "51", ",", "0", ",", "0", ",", "0", ",",
        "0", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "14", ",", "0.05654866776461627692", ",", "0.01015502112232265046", ",",
        "0.15308599999999999985", ",", "0.00681100000000000021", ",", 
       "0.13499099999999999988", ",", "100", ",", "0", ",", "2", ",", "2", 
       ",", "2", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "15", ",", "0.05654866776461627692", ",", "0.01015502112232265046", ",",
        "0.15344700000000000006", ",", "0.00636700000000000026", ",", 
       "0.13311200000000000809", ",", "100", ",", "0", ",", "2", ",", "2", 
       ",", "2", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "16", ",", "0.05654866776461627692", ",", "0.00593011062993760180", ",",
        "0.20449899999999998634", ",", "0.00908899999999999986", ",", 
       "0.08991799999999999793", ",", "119", ",", "0", ",", "3", ",", "3", 
       ",", "1", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "17", ",", "0.05654866776461627692", ",", "0.00593011062993760180", ",",
        "0.20243500000000000383", ",", "0.00865400000000000023", ",", 
       "0.09425699999999999357", ",", "119", ",", "0", ",", "3", ",", "3", 
       ",", "1", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "18", ",", "0.05654866776461627692", ",", "0.00593011062993760180", ",",
        "0.43170100000000000140", ",", "0.16138500000000000068", ",", 
       "9.36229900000000014870", ",", "555", ",", "0", ",", "93", ",", "93", 
       ",", "11", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "19", ",", "0.05654866776461627692", ",", "0.00593011062993760180", ",",
        "0.43659400000000003761", ",", "0.16185700000000000087", ",", 
       "5.21150300000000044065", ",", "555", ",", "0", ",", "93", ",", "93", 
       ",", "6", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "20", ",", "0.05654866776461627692", ",", "0.00459255912818850188", ",",
        "0.60295500000000001872", ",", "0.19738800000000000789", ",", 
       "1.92752999999999996561", ",", "859", ",", "0", ",", "64", ",", "97", 
       ",", "2", ",", "1"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "21", ",", "0.05654866776461627692", ",", "0.00272083926109946590", ",",
        "0.36289499999999996760", ",", "0.01804300000000000001", ",", 
       "1.21838299999999999379", ",", "216", ",", "0", ",", "7", ",", "7", 
       ",", "2", ",", "1"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "22", ",", "0.05654866776461627692", ",", "0.00272083926109946590", ",",
        "0.51211899999999999089", ",", "0.04754900000000000099", ",", 
       "7.98451500000000002899", ",", "431", ",", "0", ",", "22", ",", "22", 
       ",", "11", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "23", ",", "0.05654866776461627692", ",", "0.00272083926109946590", ",",
        "0.51217699999999999338", ",", "0.04769400000000000028", ",", 
       "1.38082600000000010887", ",", "431", ",", "0", ",", "22", ",", "22", 
       ",", "2", ",", "1"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "24", ",", "0.05654866776461627692", ",", "0.00102739473699396569", ",",
        "0.66008299999999997532", ",", "0.01699300000000000116", ",", 
       "2.62988799999999978141", ",", "329", ",", "0", ",", "5", ",", "5", 
       ",", "3", ",", "2"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "25", ",", "0.05654866776461627692", ",", "0.00102739473699396569", ",",
        "0.66249999999999997780", ",", "0.01737299999999999955", ",", 
       "2.67482299999999995066", ",", "329", ",", "0", ",", "5", ",", "5", 
       ",", "3", ",", "2"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "26", ",", "0.05654866776461627692", ",", "0.00102739473699396569", ",",
        "0.94542299999999990234", ",", "0.05137100000000000000", ",", 
       "6.56575000000000041922", ",", "654", ",", "0", ",", "21", ",", "21", 
       ",", "7", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "27", ",", "0.05654866776461627692", ",", "0.00098617338907730154", ",",
        "0.93578200000000000269", ",", "0.05003599999999999715", ",", 
       "6.56070699999999984442", ",", "625", ",", "0", ",", "21", ",", "21", 
       ",", "7", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "28", ",", "0.05654866776461627692", ",", "0.00098617338907730154", ",",
        "2.17639300000000002200", ",", "0.69400899999999998702", ",", 
       "4.86402700000000010050", ",", "2936", ",", "0", ",", "400", ",", 
       "400", ",", "3", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "29", ",", "0.05654866776461627692", ",", "0.00040361646384241395", ",",
        "1.23113899999999998336", ",", "0.03110200000000000117", ",", 
       "3.89193100000000002936", ",", "514", ",", "0", ",", "11", ",", "11", 
       ",", "3", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "30", ",", "0.05654866776461627692", ",", "0.00040361646384241395", ",",
        "1.81864999999999987779", ",", "0.06497300000000000297", ",", 
       "9.30805400000000027205", ",", "1027", ",", "0", ",", "25", ",", "25", 
       ",", "8", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "31", ",", "0.05654866776461627692", ",", "0.00040361646384241395", ",",
        "1.77968700000000001893", ",", "0.06550999999999999879", ",", 
       "2.74345000000000016627", ",", "1027", ",", "0", ",", "25", ",", "25", 
       ",", "3", ",", "2"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "32", ",", "0.05654866776461627692", ",", "0.00024049549691214931", ",",
        "2.43696000000000001506", ",", "0.05413500000000000256", ",", 
       "5.34739599999999981605", ",", "1219", ",", "0", ",", "16", ",", "16", 
       ",", "7", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "33", ",", "0.05654866776461627692", ",", "0.00024049549691214931", ",",
        "2.43867199999999995086", ",", "0.05504099999999999965", ",", 
       "5.33914899999999992275", ",", "1219", ",", "0", ",", "16", ",", "16", 
       ",", "7", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "34", ",", "0.05654866776461627692", ",", "0.00024049549691214931", ",",
        "3.58290799999999975967", ",", "0.15490100000000001090", ",", 
       "22.95577199999999962188", ",", "2443", ",", "0", ",", "61", ",", "61",
        ",", "26", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "35", ",", "0.05654866776461627692", ",", "0.00024049549691214931", ",",
        "3.58621299999999987307", ",", "0.15448999999999998844", ",", 
       "10.06469099999999983197", ",", "2443", ",", "0", ",", "61", ",", "61",
        ",", "12", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "36", ",", "0.05654866776461627692", ",", "0.00022589112105616624", ",",
        "5.24830099999999966087", ",", "0.41776099999999999346", ",", 
       "63.12136699999999933652", ",", "4588", ",", "0", ",", "198", ",", 
       "198", ",", "64", ",", "52"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "37", ",", "0.05654866776461627692", ",", "0.00022589112105616624", ",",
        "5.28721499999999977604", ",", "0.41975600000000001799", ",", 
       "20.19210199999999844067", ",", "4588", ",", "0", ",", "198", ",", 
       "198", ",", "20", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "38", ",", "0.05654866776461627692", ",", "0.00011164293321635590", ",",
        "7.08032500000000020179", ",", "0.28231699999999998463", ",", 
       "58.85914999999999963620", ",", "4539", ",", "0", ",", "110", ",", 
       "110", ",", "50", ",", "50"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "39", ",", "0.05654866776461627692", ",", "0.00011164293321635590", ",",
        "7.11541500000000048942", ",", "0.28243499999999999162", ",", 
       "40.89415799999999734382", ",", "4539", ",", "0", ",", "110", ",", 
       "110", ",", "38", ",", "34"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "40", ",", "0.05654866776461627692", ",", "0.00010513553694713441", ",",
        "10.41218800000000044292", ",", "0.93663000000000007361", ",", 
       "70.20754499999999609372", ",", "8545", ",", "0", ",", "175", ",", 
       "332", ",", "72", ",", "53"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "41", ",", "0.05654866776461627692", ",", "0.00009195885806072241", ",",
        "10.25768300000000010641", ",", "0.40720400000000001040", ",", 
       "7.15604499999999976723", ",", "7475", ",", "0", ",", "139", ",", 
       "139", ",", "7", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "42", ",", "0.05654866776461627692", ",", "0.00003525701098756433", ",",
        "13.40155999999999991701", ",", "0.23068199999999999816", ",", 
       "18.68485899999999944043", ",", "5731", ",", "0", ",", "58", ",", "58",
        ",", "24", ",", "13"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "43", ",", "0.05654866776461627692", ",", "0.00003525701098756433", ",",
        "13.35148599999999952104", ",", "0.23069899999999998741", ",", 
       "10.15802799999999983527", ",", "5731", ",", "0", ",", "58", ",", "58",
        ",", "10", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "44", ",", "0.05654866776461627692", ",", "0.00002792412392018599", ",",
        "19.09790399999999976899", ",", "0.39497900000000002452", ",", 
       "19.19412200000000012778", ",", "9078", ",", "0", ",", "103", ",", 
       "103", ",", "23", ",", "14"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "45", ",", "0.05654866776461627692", ",", "0.00002792412392018599", ",",
        "19.08299399999999934607", ",", "0.39060600000000000875", ",", 
       "16.53815900000000027603", ",", "9078", ",", "0", ",", "103", ",", 
       "103", ",", "20", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "46", ",", "0.05654866776461627692", ",", "0.00002728208190181378", ",",
        "28.16050700000000261980", ",", "1.07511399999999990307", ",", 
       "4.57249399999999983635", ",", "17736", ",", "0", ",", "398", ",", 
       "398", ",", "3", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "47", ",", "0.05654866776461627692", ",", "0.00001039765849762005", ",",
        "25.56273699999999848842", ",", "0.19350800000000001333", ",", 
       "2.72607199999999982865", ",", "6759", ",", "0", ",", "15", ",", "15", 
       ",", "2", ",", "2"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "48", ",", "0.05654866776461627692", ",", "0.00001039765849762005", ",",
        "37.15377900000000011005", ",", "0.44977000000000000313", ",", 
       "20.14911700000000038813", ",", "13520", ",", "0", ",", "66", ",", 
       "66", ",", "15", ",", "17"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "49", ",", "0.05654866776461627692", ",", "0.00000972353851846321", ",",
        "36.92842900000000128102", ",", "0.40871299999999999297", ",", 
       "17.66342399999999912552", ",", "12643", ",", "0", ",", "56", ",", 
       "56", ",", "14", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "50", ",", "0.05654866776461627692", ",", "0.00000972353851846321", ",",
        "53.86886900000000366617", ",", "1.11280599999999996186", ",", 
       "21.72651000000000109935", ",", "25287", ",", "0", ",", "290", ",", 
       "290", ",", "18", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "51", ",", "0.05654866776461627692", ",", "0.00000621652606241986", ",",
        "51.72077799999999569991", ",", "0.54969599999999996243", ",", 
       "18.05459700000000111686", ",", "16168", ",", "0", ",", "77", ",", 
       "77", ",", "16", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "52", ",", "0.05654866776461627692", ",", "0.00000614826915552674", ",",
        "75.56955700000000319960", ",", "1.30207699999999992890", ",", 
       "71.39582799999999451757", ",", "31980", ",", "0", ",", "273", ",", 
       "273", ",", "72", ",", "58"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "53", ",", "0.05654866776461627692", ",", "0.00000573735820690981", ",",
        "75.01037300000000129785", ",", "1.17955199999999993388", ",", 
       "21.16114400000000017599", ",", "29844", ",", "0", ",", "234", ",", 
       "234", ",", "17", ",", "17"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "54", ",", "0.05654866776461627692", ",", "0.00000387700281530508", ",",
        "105.51606000000001017725", ",", "1.53157699999999996621", ",", 
       "53.31877800000000178215", ",", "40336", ",", "0", ",", "272", ",", 
       "272", ",", "72", ",", "41"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "55", ",", "0.05654866776461627692", ",", "0.00000353464453443652", ",",
        "104.67783099999999762986", ",", "1.31666700000000003179", ",", 
       "16.97387900000000016121", ",", "36771", ",", "0", ",", "200", ",", 
       "200", ",", "22", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "56", ",", "0.05654866776461627692", ",", "0.00000246349877369479", ",",
        "148.03594499999999811735", ",", "1.87430500000000010985", ",", 
       "43.94623700000000354748", ",", "51262", ",", "0", ",", "299", ",", 
       "299", ",", "50", ",", "34"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "57", ",", "0.05654866776461627692", ",", "0.00000194421866189524", ",",
        "145.76470699999998714702", ",", "1.35164799999999996061", ",", 
       "4.24342299999999994498", ",", "40454", ",", "0", ",", "131", ",", 
       "131", ",", "3", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "58", ",", "0.05654866776461627692", ",", "0.00000076995005049797", ",",
        "199.97053900000000226100", ",", "0.95480200000000003957", ",", 
       "7.34791199999999999903", ",", "32044", ",", "0", ",", "39", ",", "39",
        ",", "10", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "59", ",", "0.05654866776461627692", ",", "0.00000073711276907498", ",",
        "199.24263000000001966328", ",", "0.90576599999999996005", ",", 
       "4.80044599999999999085", ",", "30676", ",", "0", ",", "33", ",", "33",
        ",", "9", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "60", ",", "0.05654866776461627692", ",", "0.00000073711276907498", ",",
        "286.38922100000002046727", ",", "1.97473399999999998933", ",", 
       "10.40713399999999921874", ",", "61350", ",", "0", ",", "123", ",", 
       "123", ",", "11", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "61", ",", "0.05654866776461627692", ",", "0.00000049101321043618", ",",
        "281.02300100000002203160", ",", "1.20455399999999990257", ",", 
       "10.23956399999999966610", ",", "40863", ",", "0", ",", "40", ",", 
       "40", ",", "11", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "62", ",", "0.05654866776461627692", ",", "0.00000049101321043618", ",",
        "404.34818400000000337968", ",", "2.62460499999999985477", ",", 
       "64.93730299999999999727", ",", "81731", ",", "0", ",", "145", ",", 
       "145", ",", "49", ",", "51"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "63", ",", "0.05654866776461627692", ",", "0.00000049101321043618", ",",
        "405.05433800000002975139", ",", "2.60835200000000000387", ",", 
       "2.04176599999999996982", ",", "81731", ",", "0", ",", "145", ",", 
       "145", ",", "1", ",", "2"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "64", ",", "0.05654866776461627692", ",", "0.00000008185622599889", ",",
        "551.46506999999996878614", ",", "0.72259300000000004083", ",", 
       "0.05461799999999999988", ",", "27254", ",", "0", ",", "2", ",", "2", 
       ",", "1", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "65", ",", "0.05654866776461627692", ",", "0.00000008185622599889", ",",
        "554.51632999999992534867", ",", "0.72545400000000004326", ",", 
       "0.05214099999999999985", ",", "27254", ",", "0", ",", "2", ",", "2", 
       ",", "1", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "66", ",", "0.05654866776461627692", ",", "0.00000008185622599889", ",",
        "783.97384699999997792474", ",", "1.53977000000000008306", ",", 
       "3.66497800000000006904", ",", "54503", ",", "0", ",", "12", ",", "12",
        ",", "5", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "67", ",", "0.05654866776461627692", ",", "0.00000008185622599889", ",",
        "785.86808900000005451147", ",", "1.54133499999999989960", ",", 
       "3.64030299999999984450", ",", "54503", ",", "0", ",", "12", ",", "12",
        ",", "5", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "68", ",", "0.05654866776461627692", ",", "0.00000008185622599889", ",",
        "1116.89172899999994115205", ",", "3.27683899999999983521", ",", 
       "9.48886199999999924160", ",", "109004", ",", "0", ",", "40", ",", 
       "40", ",", "12", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "69", ",", "0.05654866776461627692", ",", "0.00000008185622599889", ",",
        "1116.13101899999992383528", ",", "3.26412300000000010769", ",", 
       "9.43894000000000055195", ",", "109004", ",", "0", ",", "40", ",", 
       "40", ",", "12", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "70", ",", "0.05654866776461627692", ",", "0.00000008185622599889", ",",
        "1595.43001699999990705692", ",", "7.41963300000000014478", ",", 
       "10.16422599999999931697", ",", "218004", ",", "0", ",", "175", ",", 
       "175", ",", "16", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "71", ",", "0.05654866776461627692", ",", "0.00000004573318689134", ",",
        "1575.51715300000000752334", ",", "3.79258499999999987295", ",", 
       "8.42004599999999925330", ",", "121800", ",", "0", ",", "29", ",", 
       "29", ",", "15", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "72", ",", "0.05654866776461627692", ",", "0.00000004573318689134", ",",
        "2244.38068699999985255999", ",", "8.11123800000000017008", ",", 
       "17.45647400000000004638", ",", "243601", ",", "0", ",", "119", ",", 
       "119", ",", "25", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "73", ",", "0.05654866776461627692", ",", "0.00000003878810532482", ",",
        "2223.36178600000039295992", ",", "6.59108300000000024710", ",", 
       "10.37916700000000069792", ",", "206607", ",", "0", ",", "75", ",", 
       "75", ",", "17", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "74", ",", "0.05654866776461627692", ",", "0.00000003290746006678", ",",
        "3158.72403200000007927883", ",", "11.74077499999999929514", ",", 
       "12.40375200000000077694", ",", "350569", ",", "0", ",", "183", ",", 
       "183", ",", "7", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "75", ",", "0.05654866776461627692", ",", "0.00000001625397597859", ",",
        "3130.72621199999957752880", ",", "5.43506999999999962370", ",", 
       "12.01240499999999933323", ",", "173157", ",", "0", ",", "19", ",", 
       "19", ",", "7", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "76", ",", "0.05654866776461627692", ",", "0.00000001625397597859", ",",
        "4426.17684100000042235479", ",", "11.51917300000000032867", ",", 
       "13.62580999999999953332", ",", "346313", ",", "0", ",", "85", ",", 
       "85", ",", "12", ",", "10"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "77", ",", "0.05654866776461627692", ",", "0.00000001194230083361", ",",
        "4418.81789600000047357753", ",", "8.31905500000000053262", ",", 
       "5.40539099999999983481", ",", "254447", ",", "0", ",", "32", ",", 
       "32", ",", "7", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "78", ",", "0.05654866776461627692", ",", "0.00000001018279029143", ",",
        "6278.79425100000025850022", ",", "14.47633300000000033947", ",", 
       "12.74006800000000083628", ",", "433920", ",", "0", ",", "81", ",", 
       "81", ",", "13", ",", "10"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "79", ",", "0.05654866776461627692", ",", "0.00000000752684030910", ",",
        "6245.92694800000026589260", ",", "10.52340000000000053149", ",", 
       "3.38053900000000018267", ",", "320742", ",", "0", ",", "34", ",", 
       "34", ",", "5", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "80", ",", "0.05654866776461627692", ",", "0.00000000518009531953", ",",
        "8839.44319200000063574407", ",", "14.62399199999999943600", ",", 
       "12.74719400000000035789", ",", "441477", ",", "0", ",", "46", ",", 
       "46", ",", "16", ",", "10"}], "}"}]}], "}"}]}], ";"}]], "Input",
 CellChangeTimes->{{3.593878694659651*^9, 3.593878708879722*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"bopt", "[", 
   RowBox[{"[", 
    RowBox[{"60", ";;", "70"}], "]"}], "]"}], "//", "TableForm"}]], "Input",
 CellChangeTimes->{{3.5938787103004417`*^9, 3.593878742733667*^9}}],

Cell[BoxData[
 TagBox[GridBox[{
    {"66", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "783.97384699999997792474`22.894301575065768", 
     "1.5397700000000000830600000000000000000000000000000000000001`20.\
187455853829498", "3.66497800000000006904`20.56407137201746", "54503", "0", 
     "12", "12", "5", "3"},
    {"67", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "785.86808900000005451147`22.89534965414735", 
     "1.5413349999999998996`20.187897040301646", 
     "3.6403029999999998445000000000000000000000000000000000000001`20.\
56113753358076", "54503", "0", "12", "12", "5", "3"},
    {"68", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "1116.89172899999994115205`23.048011074837284", 
     "3.2768389999999998352099999999999999999999999999999999999999`20.\
515455103839123", "9.4888619999999992416`20.977214130577387", "109004", "0", 
     "40", "40", "12", "6"},
    {"69", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "1116.1310189999999238352799999999999999999999999999999999999999`23.\
047715178014546", "3.26412300000000010769`20.513766515650094", 
     "9.4389400000000005519500000000000000000000000000000000000001`20.\
974923225442264", "109004", "0", "40", "40", "12", "6"},
    {"70", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "1595.43001699999990705692`23.202877758766256", 
     "7.41963300000000014478`20.8703824241447", 
     "10.16422599999999931697`21.007074312956618", "218004", "0", "175", 
     "175", "16", "7"},
    {"71", "0.05654866776461627692`18.752422377797433", "4.573318689134`*^-8",
      "1575.5171530000000075233400000000000000000000000000000000000001`23.\
19742313579481", 
     "3.7925849999999998729499999999999999999999999999999999999999`20.\
57893532304276", "8.4200459999999992533`20.925314464123357", "121800", "0", 
     "29", "29", "15", "6"},
    {"72", "0.05654866776461627692`18.752422377797433", "4.573318689134`*^-8",
      "2244.38068699999985255999`23.351096522923324", 
     "8.11123800000000017008`20.909087144659477", 
     "17.45647400000000004638`21.241956525910958", "243601", "0", "119", 
     "119", "25", "12"},
    {"73", "0.05654866776461627692`18.752422377797433", "3.878810532482`*^-8",
      "2223.36178600000039295992`23.347010136958687", 
     "6.5910830000000002471`20.818956780645646", 
     "10.37916700000000069792`21.016162499772534", "206607", "0", "75", "75", 
     "17", "8"},
    {"74", "0.05654866776461627692`18.752422377797433", "3.290746006678`*^-8",
      "3158.72403200000007927883`23.499511684589883", 
     "11.74077499999999929514`21.069696765319996", 
     "12.40375200000000077694`21.093553074389845", "350569", "0", "183", 
     "183", "7", "9"},
    {"75", "0.05654866776461627692`18.752422377797433", "1.625397597859`*^-8",
      "3130.7262119999995775288`23.49564508939378", 
     "5.4350699999999996237`20.735205141875483", 
     "12.01240499999999933323`21.079629966076073", "173157", "0", "19", "19", 
     "7", "9"},
    {"76", "0.05654866776461627692`18.752422377797433", "1.625397597859`*^-8",
      "4426.17684100000042235479`23.64602876149731", 
     "11.51917300000000032867`21.061421300751352", 
     "13.62580999999999953332`21.134362328788995", "346313", "0", "85", "85", 
     "12", "10"}
   },
   GridBoxAlignment->{
    "Columns" -> {{Left}}, "ColumnsIndexed" -> {}, "Rows" -> {{Baseline}}, 
     "RowsIndexed" -> {}},
   GridBoxSpacings->{"Columns" -> {
       Offset[0.27999999999999997`], {
        Offset[2.0999999999999996`]}, 
       Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> {
       Offset[0.2], {
        Offset[0.4]}, 
       Offset[0.2]}, "RowsIndexed" -> {}}],
  Function[BoxForm`e$, 
   TableForm[BoxForm`e$]]]], "Output",
 CellChangeTimes->{{3.5938787157085257`*^9, 3.59387874309489*^9}}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"baseline", "[", 
   RowBox[{"[", 
    RowBox[{"60", ";;", "68"}], "]"}], "]"}], "//", "TableForm"}]], "Input",
 CellChangeTimes->{{3.593878747968543*^9, 3.593878763439783*^9}}],

Cell[BoxData[
 TagBox[GridBox[{
    {"66", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "1002.2560140000000501458999999999999999999999999999999999999999`23.\
00097867089829", "106.7170310000000057471`22.028233734130076", 
     "17.6288300000000006662000000000000000000000000000000000000001`21.\
24622348975791", "2097156", "0", "1004", "1004", "5", "3"},
    {"67", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "1000.81743899999992208905`23.000354864226818", 
     "111.7297279999999943811400000000000000000000000000000000000001`22.\
048168741500803", 
     "17.6669809999999998240099999999999999999999999999999999999999`21.\
24716234197647", "2097156", "0", "1004", "1004", "5", "3"},
    {"68", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "1457.07162999999991370714`23.163480902318426", 
     "133.84547100000000341424`22.12660368031947", 
     "49.16185200000000321552`21.69162823504091", "2965828", "0", "2832", 
     "2832", "12", "6"},
    {"69", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "1417.8996899999999641295300000000000000000000000000000000000001`23.\
15164550756043", "133.72389300000000389446`22.126209011383054", 
     "49.23197100000000148157`21.692247223083115", "2965828", "0", "2832", 
     "2832", "12", "6"},
    {"70", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "2020.51529699999991862569`23.305462142765574", 
     "245.76909200000000055297`22.39052726497086", 
     "44.65677699999999816782`21.649887375662768", "4194308", "0", "8000", 
     "8000", "16", "7"},
    {"71", "0.05654866776461627692`18.752422377797433", "4.573318689134`*^-8",
      "2024.81533300000000963337`23.306385420876037", 
     "236.4551779999999894244`22.373748828828106", 
     "43.44298799999999971533`21.637919688295433", "4194308", "0", "2491", 
     "2491", "15", "6"},
    {"72", "0.05654866776461627692`18.752422377797433", "4.573318689134`*^-8",
      "2863.9678819999999177525800000000000000000000000000000000000001`23.\
456968143262788", "291.9798900000000116961`22.465352940616953", 
     "87.4526560000000046102300000000000000000000000000000000000001`21.\
94177300385046", "5931652", "0", "7063", "7063", "25", "12"},
    {"73", "0.05654866776461627692`18.752422377797433", "3.878810532482`*^-8",
      "2854.1028150000001915032000000000000000000000000000000000000001`23.\
45546961390228", 
     "290.1735049999999773717699999999999999999999999999999999999999`22.\
46265775559447", "61.30831299999999828287`21.787519365958087", "5931652", "0",
      "5077", "5077", "17", "8"},
    {"74", "0.05654866776461627692`18.752422377797433", "3.290746006678`*^-8",
      "4093.20322200000009615906`23.612063307313782", 
     "529.868073999999978696`22.724167752872834", 
     "47.44211899999999815236`21.6761640785319", "8388612", "0", "10338", 
     "10338", "7", "9"}
   },
   GridBoxAlignment->{
    "Columns" -> {{Left}}, "ColumnsIndexed" -> {}, "Rows" -> {{Baseline}}, 
     "RowsIndexed" -> {}},
   GridBoxSpacings->{"Columns" -> {
       Offset[0.27999999999999997`], {
        Offset[2.0999999999999996`]}, 
       Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> {
       Offset[0.2], {
        Offset[0.4]}, 
       Offset[0.2]}, "RowsIndexed" -> {}}],
  Function[BoxForm`e$, 
   TableForm[BoxForm`e$]]]], "Output",
 CellChangeTimes->{{3.593878750724177*^9, 3.593878763781001*^9}}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"bopt", "[", 
   RowBox[{"[", 
    RowBox[{"60", ";;", "All"}], "]"}], "]"}], "//", "TableForm"}]], "Input",
 CellChangeTimes->{{3.593879961567432*^9, 3.5938799706722*^9}}],

Cell[BoxData[
 TagBox[GridBox[{
    {"66", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "783.97384699999997792474`22.894301575065768", 
     "1.5397700000000000830600000000000000000000000000000000000001`20.\
187455853829498", "3.66497800000000006904`20.56407137201746", "54503", "0", 
     "12", "12", "5", "3"},
    {"67", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "785.86808900000005451147`22.89534965414735", 
     "1.5413349999999998996`20.187897040301646", 
     "3.6403029999999998445000000000000000000000000000000000000001`20.\
56113753358076", "54503", "0", "12", "12", "5", "3"},
    {"68", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "1116.89172899999994115205`23.048011074837284", 
     "3.2768389999999998352099999999999999999999999999999999999999`20.\
515455103839123", "9.4888619999999992416`20.977214130577387", "109004", "0", 
     "40", "40", "12", "6"},
    {"69", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "1116.1310189999999238352799999999999999999999999999999999999999`23.\
047715178014546", "3.26412300000000010769`20.513766515650094", 
     "9.4389400000000005519500000000000000000000000000000000000001`20.\
974923225442264", "109004", "0", "40", "40", "12", "6"},
    {"70", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "1595.43001699999990705692`23.202877758766256", 
     "7.41963300000000014478`20.8703824241447", 
     "10.16422599999999931697`21.007074312956618", "218004", "0", "175", 
     "175", "16", "7"},
    {"71", "0.05654866776461627692`18.752422377797433", "4.573318689134`*^-8",
      "1575.5171530000000075233400000000000000000000000000000000000001`23.\
19742313579481", 
     "3.7925849999999998729499999999999999999999999999999999999999`20.\
57893532304276", "8.4200459999999992533`20.925314464123357", "121800", "0", 
     "29", "29", "15", "6"},
    {"72", "0.05654866776461627692`18.752422377797433", "4.573318689134`*^-8",
      "2244.38068699999985255999`23.351096522923324", 
     "8.11123800000000017008`20.909087144659477", 
     "17.45647400000000004638`21.241956525910958", "243601", "0", "119", 
     "119", "25", "12"},
    {"73", "0.05654866776461627692`18.752422377797433", "3.878810532482`*^-8",
      "2223.36178600000039295992`23.347010136958687", 
     "6.5910830000000002471`20.818956780645646", 
     "10.37916700000000069792`21.016162499772534", "206607", "0", "75", "75", 
     "17", "8"},
    {"74", "0.05654866776461627692`18.752422377797433", "3.290746006678`*^-8",
      "3158.72403200000007927883`23.499511684589883", 
     "11.74077499999999929514`21.069696765319996", 
     "12.40375200000000077694`21.093553074389845", "350569", "0", "183", 
     "183", "7", "9"},
    {"75", "0.05654866776461627692`18.752422377797433", "1.625397597859`*^-8",
      "3130.7262119999995775288`23.49564508939378", 
     "5.4350699999999996237`20.735205141875483", 
     "12.01240499999999933323`21.079629966076073", "173157", "0", "19", "19", 
     "7", "9"},
    {"76", "0.05654866776461627692`18.752422377797433", "1.625397597859`*^-8",
      "4426.17684100000042235479`23.64602876149731", 
     "11.51917300000000032867`21.061421300751352", 
     "13.62580999999999953332`21.134362328788995", "346313", "0", "85", "85", 
     "12", "10"},
    {"77", "0.05654866776461627692`18.752422377797433", "1.194230083361`*^-8",
      "4418.81789600000047357753`23.645306104211777", 
     "8.3190550000000005326200000000000000000000000000000000000001`20.\
920073995570217", 
     "5.4053909999999998348099999999999999999999999999999999999999`20.\
73282711420065", "254447", "0", "32", "32", "7", "4"},
    {"78", "0.05654866776461627692`18.752422377797433", "1.018279029143`*^-8",
      "6278.79425100000025850022`23.797876251951582", 
     "14.47633300000000033947`21.160658564654387", 
     "12.74006800000000083628`21.10517174604847", "433920", "0", "81", "81", 
     "13", "10"},
    {"79", "0.05654866776461627692`18.752422377797433", "7.5268403091`*^-9", 
     "6245.9269480000002658926`23.79559690044077", 
     "10.5234000000000005314900000000000000000000000000000000000001`21.\
022156078475096", "3.38053900000000018267`20.528985950592237", "320742", "0", 
     "34", "34", "5", "3"},
    {"80", "0.05654866776461627692`18.752422377797433", "5.18009531953`*^-9", 
     "8839.44319200000063574407`23.94642490910155", 
     "14.6239919999999994360000000000000000000000000000000000000001`21.\
165065940810656", "12.74719400000000035789`21.10541459540268", "441477", "0", 
     "46", "46", "16", "10"}
   },
   GridBoxAlignment->{
    "Columns" -> {{Left}}, "ColumnsIndexed" -> {}, "Rows" -> {{Baseline}}, 
     "RowsIndexed" -> {}},
   GridBoxSpacings->{"Columns" -> {
       Offset[0.27999999999999997`], {
        Offset[2.0999999999999996`]}, 
       Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> {
       Offset[0.2], {
        Offset[0.4]}, 
       Offset[0.2]}, "RowsIndexed" -> {}}],
  Function[BoxForm`e$, 
   TableForm[BoxForm`e$]]]], "Output",
 CellChangeTimes->{{3.593879967240136*^9, 3.59387997118528*^9}}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"(", 
    RowBox[{
     RowBox[{"12896923290648804670", " ", 
      RowBox[{"2", "^", 
       RowBox[{"(", 
        RowBox[{"-", "128"}], ")"}]}]}], "+", 
     RowBox[{"7640891576956012808", " ", 
      RowBox[{"2", "^", 
       RowBox[{"{", 
        RowBox[{"-", "64"}], "}"}]}]}], "+", "1"}], ")"}], "-", 
   RowBox[{"Sqrt", "[", "2", "]"}]}], "//", 
  RowBox[{
   RowBox[{"N", "[", 
    RowBox[{"#", ",", "100"}], "]"}], "&"}]}]], "Input",
 CellChangeTimes->{{3.593894557928545*^9, 3.5938946187810163`*^9}}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
  "-", "6.75796057865455687090222891955432450940848027555128500882700199293844\
32475575710793264855585073721264412149709993583141322266592750559`100.*^-40"}]\
, "}"}]], "Output",
 CellChangeTimes->{{3.593894594558864*^9, 3.593894619452487*^9}}]
}, Open  ]],

Cell[BoxData[
 RowBox[{"Sqrt", "[", "2", "]"}]], "Input",
 CellChangeTimes->{{3.593894605203158*^9, 3.593894608566018*^9}}],

Cell[BoxData[
 RowBox[{
  RowBox[{"bopt2", "=", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{
      "\"\<n\>\"", ",", "\"\<phi\>\"", ",", "\"\<delta\>\"", ",", 
       "\"\<find_halves_time\>\"", ",", "\"\<merge_halves_time\>\"", ",", 
       "\"\<tcount_time\>\"", ",", "\"\<halves_size\>\"", ",", 
       "\"\<b_max\>\"", ",", "\"\<max_tuples_memory_size\>\"", ",", 
       "\"\<tuples_processed\>\"", ",", "\"\<factor_calls\>\"", ",", 
       "\"\<norm_equation_calls\>\""}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "8", ",", "0.05654866776461627692", ",", "0.01999230726413182488", ",", 
       "0.07404700000000000171", ",", "0.00507300000000000025", ",", 
       "0.02897100000000000022", ",", "23", ",", "0", ",", "1", ",", "1", ",",
        "0", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "9", ",", "0.05654866776461627692", ",", "0.01999230726413182488", ",", 
       "0.05143999999999999961", ",", "0.00397500000000000023", ",", 
       "0.01557599999999999957", ",", "23", ",", "0", ",", "1", ",", "1", ",",
        "0", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "10", ",", "0.05654866776461627692", ",", "0.01999230726413182488", ",",
        "0.05232300000000000145", ",", "0.01001900000000000013", ",", 
       "6.24318799999999995975", ",", "49", ",", "0", ",", "4", ",", "4", ",",
        "1", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "11", ",", "0.05654866776461627692", ",", "0.01999230726413182488", ",",
        "0.06496899999999999897", ",", "0.01024699999999999916", ",", 
       "0.09812899999999999401", ",", "49", ",", "0", ",", "4", ",", "4", ",",
        "1", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "12", ",", "0.05654866776461627692", ",", "0.01015502112232265046", ",",
        "0.05517800000000000482", ",", "0.00097300000000000002", ",", 
       "0.00017300000000000000", ",", "51", ",", "0", ",", "0", ",", "0", ",",
        "0", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "13", ",", "0.05654866776461627692", ",", "0.01015502112232265046", ",",
        "0.05301400000000000556", ",", "0.00088999999999999995", ",", 
       "0.00017200000000000001", ",", "51", ",", "0", ",", "0", ",", "0", ",",
        "0", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "14", ",", "0.05654866776461627692", ",", "0.01015502112232265046", ",",
        "0.05657700000000000229", ",", "0.00698499999999999989", ",", 
       "0.13678000000000001268", ",", "100", ",", "0", ",", "2", ",", "2", 
       ",", "2", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "15", ",", "0.05654866776461627692", ",", "0.01015502112232265046", ",",
        "0.05625399999999999845", ",", "0.00642899999999999982", ",", 
       "0.13444200000000000594", ",", "100", ",", "0", ",", "2", ",", "2", 
       ",", "2", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "16", ",", "0.05654866776461627692", ",", "0.00593011062993763823", ",",
        "0.06210099999999999648", ",", "0.01094799999999999940", ",", 
       "0.16658999999999998809", ",", "119", ",", "0", ",", "4", ",", "4", 
       ",", "2", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "17", ",", "0.05654866776461627692", ",", "0.00593011062993763823", ",",
        "0.06163799999999999835", ",", "0.01034099999999999950", ",", 
       "0.16596900000000000541", ",", "119", ",", "0", ",", "4", ",", "4", 
       ",", "2", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "18", ",", "0.05654866776461627692", ",", "0.00593011062993763823", ",",
        "0.45790100000000000247", ",", "0.15836500000000000576", ",", 
       "9.32362700000000010903", ",", "555", ",", "0", ",", "93", ",", "93", 
       ",", "11", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "19", ",", "0.05654866776461627692", ",", "0.00593011062993763823", ",",
        "0.44662699999999999623", ",", "0.15925300000000000566", ",", 
       "5.18080899999999999750", ",", "555", ",", "0", ",", "93", ",", "93", 
       ",", "6", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "20", ",", "0.05654866776461627692", ",", "0.00459255912818847846", ",",
        "0.63490000000000001990", ",", "0.19378000000000000780", ",", 
       "1.94152900000000006031", ",", "859", ",", "0", ",", "64", ",", "97", 
       ",", "2", ",", "1"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "21", ",", "0.05654866776461627692", ",", "0.00272083926109946590", ",",
        "0.08022200000000000164", ",", "0.01836199999999999985", ",", 
       "1.16701000000000010282", ",", "216", ",", "0", ",", "7", ",", "7", 
       ",", "2", ",", "1"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "22", ",", "0.05654866776461627692", ",", "0.00272083926109946590", ",",
        "0.09598800000000000388", ",", "0.04606400000000000078", ",", 
       "7.93701100000000003831", ",", "431", ",", "0", ",", "22", ",", "22", 
       ",", "11", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "23", ",", "0.05654866776461627692", ",", "0.00272083926109946590", ",",
        "0.09747200000000000308", ",", "0.04709499999999999797", ",", 
       "1.37681199999999992478", ",", "431", ",", "0", ",", "22", ",", "22", 
       ",", "2", ",", "1"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "24", ",", "0.05654866776461627692", ",", "0.00102739473699396569", ",",
        "0.08990100000000000868", ",", "0.01691000000000000142", ",", 
       "2.62002999999999985903", ",", "329", ",", "0", ",", "5", ",", "5", 
       ",", "3", ",", "2"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "25", ",", "0.05654866776461627692", ",", "0.00102739473699396569", ",",
        "0.09059699999999999698", ",", "0.01732200000000000059", ",", 
       "2.61939399999999977808", ",", "329", ",", "0", ",", "5", ",", "5", 
       ",", "3", ",", "2"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "26", ",", "0.05654866776461627692", ",", "0.00102739473699396569", ",",
        "0.11772499999999999631", ",", "0.05012899999999999995", ",", 
       "6.50943599999999999994", ",", "654", ",", "0", ",", "21", ",", "21", 
       ",", "7", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "27", ",", "0.05654866776461627692", ",", "0.00098617338907730154", ",",
        "0.11606400000000000050", ",", "0.04954599999999999976", ",", 
       "6.50478899999999971016", ",", "625", ",", "0", ",", "21", ",", "21", 
       ",", "7", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "28", ",", "0.05654866776461627692", ",", "0.00098617338907730154", ",",
        "2.28718799999999999883", ",", "0.69070900000000001739", ",", 
       "4.83748799999999956611", ",", "2936", ",", "0", ",", "400", ",", 
       "400", ",", "3", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "29", ",", "0.05654866776461627692", ",", "0.00040361646384241498", ",",
        "0.11003799999999999693", ",", "0.03128399999999999931", ",", 
       "3.88473500000000004917", ",", "514", ",", "0", ",", "11", ",", "11", 
       ",", "3", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "30", ",", "0.05654866776461627692", ",", "0.00040361646384241498", ",",
        "0.15495799999999998464", ",", "0.06700299999999999312", ",", 
       "10.54962800000000022749", ",", "1027", ",", "0", ",", "26", ",", "26",
        ",", "9", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "31", ",", "0.05654866776461627692", ",", "0.00040361646384241498", ",",
        "0.15383900000000000352", ",", "0.06787300000000000277", ",", 
       "2.73732700000000006568", ",", "1027", ",", "0", ",", "26", ",", "26", 
       ",", "3", ",", "2"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "32", ",", "0.05654866776461627692", ",", "0.00024049549691213521", ",",
        "0.17535499999999998311", ",", "0.05440799999999999803", ",", 
       "5.34761600000000036914", ",", "1219", ",", "0", ",", "16", ",", "16", 
       ",", "7", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "33", ",", "0.05654866776461627692", ",", "0.00024049549691213521", ",",
        "0.17720600000000000240", ",", "0.05392099999999999671", ",", 
       "5.33401899999999962176", ",", "1219", ",", "0", ",", "16", ",", "16", 
       ",", "7", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "34", ",", "0.05654866776461627692", ",", "0.00024049549691213521", ",",
        "0.28324700000000002653", ",", "0.15237000000000000544", ",", 
       "22.81712399999999973943", ",", "2443", ",", "0", ",", "61", ",", "61",
        ",", "26", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "35", ",", "0.05654866776461627692", ",", "0.00024049549691213521", ",",
        "0.28585599999999999898", ",", "0.15267800000000000815", ",", 
       "9.97943500000000049965", ",", "2443", ",", "0", ",", "61", ",", "61", 
       ",", "12", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "36", ",", "0.05654866776461627692", ",", "0.00022589112105616624", ",",
        "0.48577300000000001035", ",", "0.41083500000000000574", ",", 
       "62.72783100000000189311", ",", "4588", ",", "0", ",", "198", ",", 
       "198", ",", "64", ",", "52"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "37", ",", "0.05654866776461627692", ",", "0.00022589112105616624", ",",
        "0.48577700000000001435", ",", "0.41045799999999998953", ",", 
       "20.09549600000000069144", ",", "4588", ",", "0", ",", "198", ",", 
       "198", ",", "20", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "38", ",", "0.05654866776461627692", ",", "0.00011164293321635590", ",",
        "0.49631100000000000216", ",", "0.28028999999999998360", ",", 
       "58.49732000000000198270", ",", "4539", ",", "0", ",", "110", ",", 
       "110", ",", "50", ",", "50"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "39", ",", "0.05654866776461627692", ",", "0.00011164293321635590", ",",
        "0.49233999999999999986", ",", "0.28078799999999998205", ",", 
       "40.62621099999999785268", ",", "4539", ",", "0", ",", "110", ",", 
       "110", ",", "38", ",", "34"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "40", ",", "0.05654866776461627692", ",", "0.00010513553694713441", ",",
        "0.90576999999999996405", ",", "0.93864800000000003788", ",", 
       "69.80350099999999713418", ",", "8545", ",", "0", ",", "175", ",", 
       "332", ",", "72", ",", "53"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "41", ",", "0.05654866776461627692", ",", "0.00009195885806072011", ",",
        "0.78620500000000004270", ",", "0.40559499999999998332", ",", 
       "7.11721800000000026643", ",", "7475", ",", "0", ",", "139", ",", 
       "139", ",", "7", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "42", ",", "0.05654866776461627692", ",", "0.00003525701098756433", ",",
        "0.66552900000000003722", ",", "0.23018199999999999772", ",", 
       "18.60025200000000111800", ",", "5731", ",", "0", ",", "58", ",", "58",
        ",", "24", ",", "13"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "43", ",", "0.05654866776461627692", ",", "0.00003525701098756433", ",",
        "0.66088000000000002299", ",", "0.23062399999999999567", ",", 
       "10.16320999999999941110", ",", "5731", ",", "0", ",", "58", ",", "58",
        ",", "10", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "44", ",", "0.05654866776461627692", ",", "0.00002792412392018599", ",",
        "1.01741100000000006531", ",", "0.39227800000000001557", ",", 
       "19.18122400000000027376", ",", "9078", ",", "0", ",", "103", ",", 
       "103", ",", "23", ",", "14"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "45", ",", "0.05654866776461627692", ",", "0.00002792412392018599", ",",
        "1.02017099999999993898", ",", "0.38843400000000000150", ",", 
       "16.53136299999999891952", ",", "9078", ",", "0", ",", "103", ",", 
       "103", ",", "20", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "46", ",", "0.05654866776461627692", ",", "0.00002728208190181378", ",",
        "1.88364600000000015356", ",", "1.08391199999999998660", ",", 
       "4.59703999999999979309", ",", "17736", ",", "0", ",", "398", ",", 
       "398", ",", "3", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "47", ",", "0.05654866776461627692", ",", "0.00001039765849762132", ",",
        "0.88393600000000005501", ",", "0.18840299999999998715", ",", 
       "2.73782900000000006813", ",", "6759", ",", "0", ",", "15", ",", "15", 
       ",", "2", ",", "2"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "48", ",", "0.05654866776461627692", ",", "0.00001039765849762132", ",",
        "1.55801199999999995249", ",", "0.44497399999999998066", ",", 
       "20.16833700000000106911", ",", "13520", ",", "0", ",", "66", ",", 
       "66", ",", "15", ",", "17"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "49", ",", "0.05654866776461627692", ",", "0.00000972353851846321", ",",
        "1.49608300000000005170", ",", "0.40687899999999999068", ",", 
       "17.62689299999999903434", ",", "12643", ",", "0", ",", "56", ",", 
       "56", ",", "14", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "50", ",", "0.05654866776461627692", ",", "0.00000972353851846321", ",",
        "2.88223900000000021748", ",", "1.13584499999999999353", ",", 
       "21.71602899999999891634", ",", "25287", ",", "0", ",", "290", ",", 
       "290", ",", "18", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "51", ",", "0.05654866776461627692", ",", "0.00000621652606241986", ",",
        "2.01324099999999983623", ",", "0.54750900000000002343", ",", 
       "18.04124699999999847932", ",", "16168", ",", "0", ",", "77", ",", 
       "77", ",", "16", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "52", ",", "0.05654866776461627692", ",", "0.00000614826915552674", ",",
        "3.76210399999999989262", ",", "1.31815600000000010539", ",", 
       "71.30546599999999557440", ",", "31980", ",", "0", ",", "274", ",", 
       "274", ",", "72", ",", "58"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "53", ",", "0.05654866776461627692", ",", "0.00000573735820690981", ",",
        "3.51853900000000008319", ",", "1.18883500000000008612", ",", 
       "21.13433900000000065234", ",", "29844", ",", "0", ",", "234", ",", 
       "234", ",", "17", ",", "17"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "54", ",", "0.05654866776461627692", ",", "0.00000387700281530508", ",",
        "4.87231900000000006656", ",", "1.52992900000000009442", ",", 
       "53.29283600000000120644", ",", "40336", ",", "0", ",", "272", ",", 
       "272", ",", "72", ",", "41"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "55", ",", "0.05654866776461627692", ",", "0.00000353464453443652", ",",
        "4.51120699999999974494", ",", "1.31755700000000008920", ",", 
       "16.98872599999999977172", ",", "36771", ",", "0", ",", "200", ",", 
       "200", ",", "22", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "56", ",", "0.05654866776461627692", ",", "0.00000246349877365181", ",",
        "6.34814599999999984448", ",", "1.88492700000000001914", ",", 
       "43.97964100000000087221", ",", "51262", ",", "0", ",", "299", ",", 
       "299", ",", "50", ",", "34"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "57", ",", "0.05654866776461627692", ",", "0.00000194421866189694", ",",
        "5.38296400000000030417", ",", "1.32789800000000002278", ",", 
       "4.22149800000000041678", ",", "40454", ",", "0", ",", "131", ",", 
       "131", ",", "3", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "58", ",", "0.05654866776461627692", ",", "0.00000076995005046359", ",",
        "5.27382599999999968077", ",", "0.94718299999999999716", ",", 
       "7.31615500000000018588", ",", "32044", ",", "0", ",", "38", ",", "38",
        ",", "10", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "59", ",", "0.05654866776461627692", ",", "0.00000073711276907274", ",",
        "5.08954400000000006798", ",", "0.90563000000000004608", ",", 
       "4.77507099999999962137", ",", "30676", ",", "0", ",", "33", ",", "33",
        ",", "9", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "60", ",", "0.05654866776461627692", ",", "0.00000073711276907274", ",",
        "9.05404099999999978365", ",", "1.96852500000000008029", ",", 
       "10.38896500000000067132", ",", "61350", ",", "0", ",", "123", ",", 
       "123", ",", "11", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "61", ",", "0.05654866776461627692", ",", "0.00000049101321043702", ",",
        "7.06486600000000031230", ",", "1.20093500000000008576", ",", 
       "10.21549699999999916145", ",", "40863", ",", "0", ",", "40", ",", 
       "40", ",", "11", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "62", ",", "0.05654866776461627692", ",", "0.00000049101321043702", ",",
        "12.61390300000000053160", ",", "2.60251099999999979673", ",", 
       "64.34746499999999969077", ",", "81731", ",", "0", ",", "145", ",", 
       "145", ",", "49", ",", "51"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "63", ",", "0.05654866776461627692", ",", "0.00000049101321043702", ",",
        "12.55527199999999865554", ",", "2.61051399999999977908", ",", 
       "1.97086500000000008903", ",", "81731", ",", "0", ",", "145", ",", 
       "145", ",", "1", ",", "2"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "64", ",", "0.05654866776461627692", ",", "0.00000008185622599889", ",",
        "9.34645000000000081286", ",", "0.72531000000000001027", ",", 
       "0.04974699999999999955", ",", "27254", ",", "0", ",", "2", ",", "2", 
       ",", "1", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "65", ",", "0.05654866776461627692", ",", "0.00000008185622599889", ",",
        "9.34174400000000026978", ",", "0.76709199999999999608", ",", 
       "0.04769299999999999928", ",", "27254", ",", "0", ",", "2", ",", "2", 
       ",", "1", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "66", ",", "0.05654866776461627692", ",", "0.00000008185622599889", ",",
        "14.35133499999999884267", ",", "1.54673799999999994625", ",", 
       "3.52017099999999993898", ",", "54503", ",", "0", ",", "12", ",", "12",
        ",", "5", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "67", ",", "0.05654866776461627692", ",", "0.00000008185622599889", ",",
        "14.42184699999999963893", ",", "1.54501099999999991219", ",", 
       "3.51601100000000021950", ",", "54503", ",", "0", ",", "12", ",", "12",
        ",", "5", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "68", ",", "0.05654866776461627692", ",", "0.00000008185622599889", ",",
        "23.62359899999999868214", ",", "3.26369700000000007023", ",", 
       "9.38672099999999964837", ",", "109004", ",", "0", ",", "40", ",", 
       "40", ",", "12", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "69", ",", "0.05654866776461627692", ",", "0.00000008185622599889", ",",
        "23.63951300000000088630", ",", "3.25060400000000004894", ",", 
       "9.38525800000000032242", ",", "109004", ",", "0", ",", "40", ",", 
       "40", ",", "12", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "70", ",", "0.05654866776461627692", ",", "0.00000008185622599889", ",",
        "41.25410300000000063392", ",", "6.98917099999999980042", ",", 
       "10.15266800000000024795", ",", "218004", ",", "0", ",", "175", ",", 
       "175", ",", "16", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "71", ",", "0.05654866776461627692", ",", "0.00000004573318689190", ",",
        "30.41201000000000220780", ",", "3.76133300000000003749", ",", 
       "8.34193999999999924455", ",", "121800", ",", "0", ",", "29", ",", 
       "29", ",", "15", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "72", ",", "0.05654866776461627692", ",", "0.00000004573318689190", ",",
        "50.57675799999999810552", ",", "8.05544000000000082196", ",", 
       "16.78348300000000037357", ",", "243601", ",", "0", ",", "120", ",", 
       "120", ",", "25", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "73", ",", "0.05654866776461627692", ",", "0.00000003878810532615", ",",
        "46.76058799999999848751", ",", "6.47646000000000032770", ",", 
       "10.35353100000000026171", ",", "206607", ",", "0", ",", "75", ",", 
       "75", ",", "17", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "74", ",", "0.05654866776461627692", ",", "0.00000003290746009191", ",",
        "73.16120200000000295404", ",", "11.60718899999999997874", ",", 
       "12.37557800000000085561", ",", "350569", ",", "0", ",", "184", ",", 
       "184", ",", "7", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "75", ",", "0.05654866776461627692", ",", "0.00000001625397597859", ",",
        "55.96183299999999860574", ",", "5.34078500000000033765", ",", 
       "11.97800499999999956913", ",", "173157", ",", "0", ",", "19", ",", 
       "19", ",", "7", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "76", ",", "0.05654866776461627692", ",", "0.00000001625397597859", ",",
        "87.74644200000000182627", ",", "11.38564500000000023761", ",", 
       "13.50944400000000022999", ",", "346313", ",", "0", ",", "85", ",", 
       "85", ",", "12", ",", "10"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "77", ",", "0.05654866776461627692", ",", "0.00000001194230083361", ",",
        "80.32573899999999866850", ",", "8.27800799999999981083", ",", 
       "5.33424899999999979627", ",", "254447", ",", "0", ",", "32", ",", 
       "32", ",", "7", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "78", ",", "0.05654866776461627692", ",", "0.00000001018279029143", ",",
        "119.02053300000000035652", ",", "14.17658400000000007424", ",", 
       "12.68464200000000019486", ",", "433920", ",", "0", ",", "81", ",", 
       "81", ",", "13", ",", "10"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "79", ",", "0.05654866776461627692", ",", "0.00000000752684030910", ",",
        "109.97318099999999674310", ",", "10.44033300000000075158", ",", 
       "3.40555500000000010985", ",", "320742", ",", "0", ",", "34", ",", 
       "34", ",", "5", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "80", ",", "0.05654866776461627692", ",", "0.00000000518009531953", ",",
        "154.78263400000000160617", ",", "14.63686700000000051602", ",", 
       "12.75448500000000073840", ",", "441477", ",", "0", ",", "46", ",", 
       "46", ",", "16", ",", "10"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "81", ",", "0.05654866776461627692", ",", "0.00000000518009531953", ",",
        "154.88141300000000910586", ",", "14.64752900000000046532", ",", 
       "12.65282400000000073703", ",", "441477", ",", "0", ",", "46", ",", 
       "46", ",", "16", ",", "10"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "82", ",", "0.05654866776461627692", ",", "0.00000000518009531953", ",",
        "247.23806000000001859007", ",", "31.04533599999999893271", ",", 
       "20.58399700000000009936", ",", "882955", ",", "0", ",", "182", ",", 
       "182", ",", "26", ",", "16"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "83", ",", "0.05654866776461627692", ",", "0.00000000376545491312", ",",
        "222.94741899999999645843", ",", "22.10229500000000157911", ",", 
       "17.48702199999999962188", ",", "641826", ",", "0", ",", "66", ",", 
       "66", ",", "25", ",", "14"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "84", ",", "0.05654866776461627692", ",", "0.00000000376545491312", ",",
        "359.94150100000001657463", ",", "47.84132699999999971396", ",", 
       "46.32086000000000325372", ",", "1283650", ",", "0", ",", "276", ",", 
       "276", ",", "48", ",", "38"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "85", ",", "0.05654866776461627692", ",", "0.00000000296904259174", ",",
        "329.86186899999995603139", ",", "38.16474699999999842248", ",", 
       "3.36898799999999987165", ",", "1012154", ",", "0", ",", "140", ",", 
       "140", ",", "1", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "86", ",", "0.05654866776461627692", ",", "0.00000000097138475605", ",",
        "373.22124500000001035005", ",", "22.88986600000000137811", ",", 
       "3.68361500000000008370", ",", "662298", ",", "0", ",", "19", ",", 
       "19", ",", "5", ",", "2"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "87", ",", "0.05654866776461627692", ",", "0.00000000097138475605", ",",
        "375.27130999999997129635", ",", "22.89896799999999998931", ",", 
       "3.66303799999999979420", ",", "662298", ",", "0", ",", "19", ",", 
       "19", ",", "5", ",", "2"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "88", ",", "0.05654866776461627692", ",", "0.00000000097138475605", ",",
        "583.53877800000009301584", ",", "49.12821499999999730335", ",", 
       "13.82718299999999977956", ",", "1324590", ",", "0", ",", "75", ",", 
       "75", ",", "18", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "89", ",", "0.05654866776461627692", ",", "0.00000000082575868178", ",",
        "555.71560199999998985732", ",", "41.04377600000000114733", ",", 
       "12.27580299999999979832", ",", "1126015", ",", "0", ",", "51", ",", 
       "51", ",", "17", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "90", ",", "0.05654866776461627692", ",", "0.00000000081550157635", ",",
        "877.37951999999995678081", ",", "85.25728300000000103864", ",", 
       "40.45884199999999708552", ",", "2224052", ",", "0", ",", "181", ",", 
       "181", ",", "38", ",", "29"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "91", ",", "0.05654866776461627692", ",", "0.00000000067582829016", ",",
        "824.09565700000007382187", ",", "71.81428999999999973625", ",", 
       "3.34856199999999981642", ",", "1843129", ",", "0", ",", "105", ",", 
       "105", ",", "2", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "92", ",", "0.05654866776461627692", ",", "0.00000000022822985906", ",",
        "981.51562300000000504951", ",", "45.90615600000000284808", ",", 
       "6.64146500000000017394", ",", "1244862", ",", "0", ",", "16", ",", 
       "16", ",", "7", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "93", ",", "0.05654866776461627692", ",", "0.00000000022822985906", ",",
        "983.18119300000000748696", ",", "46.49194099999999707507", ",", 
       "6.64272900000000010579", ",", "1244862", ",", "0", ",", "16", ",", 
       "16", ",", "7", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "94", ",", "0.05654866776461627692", ",", "0.00000000022822985906", ",",
        "1501.91810900000018591527", ",", "95.59660200000000429554", ",", 
       "16.23169299999999992679", ",", "2489726", ",", "0", ",", "61", ",", 
       "61", ",", "24", ",", "10"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "95", ",", "0.05654866776461627692", ",", "0.00000000022822985906", ",",
        "1494.20898499999998421117", ",", "96.39713899999999568990", ",", 
       "2.75662200000000012778", ",", "2489726", ",", "0", ",", "61", ",", 
       "61", ",", "6", ",", "1"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "96", ",", "0.05654866776461627692", ",", "0.00000000013811500381", ",",
        "2048.49256900000000314321", ",", "119.11764800000000263935", ",", 
       "15.25391800000000053217", ",", "3013355", ",", "0", ",", "59", ",", 
       "59", ",", "22", ",", "10"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "97", ",", "0.05654866776461627692", ",", "0.00000000013811500381", ",",
        "2054.33245299999998678686", ",", "117.16625299999999754164", ",", 
       "15.26594200000000078887", ",", "3013355", ",", "0", ",", "59", ",", 
       "59", ",", "22", ",", "10"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "98", ",", "0.05654866776461627692", ",", "0.00000000013811500381", ",",
        "3195.66400700000031065429", ",", "237.76188700000000153523", ",", 
       "33.38979199999999991633", ",", "6026713", ",", "0", ",", "226", ",", 
       "226", ",", "27", ",", "22"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
      "99", ",", "0.05654866776461627692", ",", "0.00000000009198806016", ",",
        "2876.17298900000014327816", ",", "156.84417199999998615567", ",", 
       "15.09907600000000016394", ",", "4013942", ",", "0", ",", "71", ",", 
       "71", ",", "13", ",", "10"}], "}"}]}], "}"}]}], ";"}]], "Input",
 CellChangeTimes->{{3.5938967343283777`*^9, 3.593896756697712*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"bopt2", "[", 
   RowBox[{"[", 
    RowBox[{"60", ";;", "All"}], "]"}], "]"}], "//", "TableForm"}]], "Input",
 CellChangeTimes->{{3.593896797659841*^9, 3.593896816632839*^9}, {
  3.593896880584961*^9, 3.593896885225212*^9}}],

Cell[BoxData[
 TagBox[GridBox[{
    {"66", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "14.35133499999999884267`21.156892302196567", 
     "1.54673799999999994625`20.189416755334353", 
     "3.52017099999999993898`20.54656376079422", "54503", "0", "12", "12", 
     "5", "3"},
    {"67", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "14.42184699999999963893`21.159020883860588", 
     "1.54501099999999991219`20.188931575814117", 
     "3.5160110000000002195`20.546050225113863", "54503", "0", "12", "12", 
     "5", "3"},
    {"68", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "23.62359899999999868214`21.37334606206551", 
     "3.2636970000000000702300000000000000000000000000000000000001`20.\
513709832270468", 
     "9.3867209999999996483699999999999999999999999999999999999999`20.\
972513909592585", "109004", "0", "40", "40", "12", "6"},
    {"69", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "23.6395130000000008863`21.373638525356796", 
     "3.25060400000000004894`20.511964065438907", 
     "9.38525800000000032242`20.97244621584242", "109004", "0", "40", "40", 
     "12", "6"},
    {"70", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "41.2541030000000006339200000000000000000000000000000000000001`21.\
615467148562193", "6.98917099999999980042`20.84442566623544", 
     "10.15266800000000024795`21.00658018465499", "218004", "0", "175", "175",
      "16", "7"},
    {"71", "0.05654866776461627692`18.752422377797433", "4.57331868919`*^-8", 
     "30.4120100000000022078000000000000000000000000000000000000001`21.\
48304512461836", "3.76133300000000003749`20.57534178427603", 
     "8.34193999999999924455`20.92126706182693", "121800", "0", "29", "29", 
     "15", "6"},
    {"72", "0.05654866776461627692`18.752422377797433", "4.57331868919`*^-8", 
     "50.5767579999999981055200000000000000000000000000000000000001`21.\
703950987368298", "8.05544000000000082196`20.906089267207523", 
     "16.78348300000000037357`21.22488209300717", "243601", "0", "120", "120",
      "25", "12"},
    {"73", "0.05654866776461627692`18.752422377797433", "3.878810532615`*^-8",
      "46.76058799999999848751`21.669879963643556", 
     "6.4764600000000003277`20.811337687574678", 
     "10.35353100000000026171`21.01508848817865", "206607", "0", "75", "75", 
     "17", "8"},
    {"74", "0.05654866776461627692`18.752422377797433", "3.290746009191`*^-8",
      "73.16120200000000295404`21.8642808320925", 
     "11.60718899999999997874`21.06472705612083", 
     "12.37557800000000085561`21.092565491754982", "350569", "0", "184", 
     "184", "7", "9"},
    {"75", "0.05654866776461627692`18.752422377797433", "1.625397597859`*^-8",
      "55.96183299999999860574`21.747891931136948", 
     "5.3407850000000003376500000000000000000000000000000000000001`20.\
72760509525185", "11.97800499999999956913`21.078384490036544", "173157", "0", 
     "19", "19", "7", "9"},
    {"76", "0.05654866776461627692`18.752422377797433", "1.625397597859`*^-8",
      "87.74644200000000182627`21.943229515438784", 
     "11.3856450000000002376099999999999999999999999999999999999999`21.\
056357638552942", 
     "13.5094440000000002299900000000000000000000000000000000000001`21.\
130637475395034", "346313", "0", "85", "85", "12", "10"},
    {"77", "0.05654866776461627692`18.752422377797433", "1.194230083361`*^-8",
      "80.3257389999999986685`21.904854729768473", 
     "8.2780079999999998108300000000000000000000000000000000000001`20.\
917925841774117", "5.33424899999999979627`20.727073284470094", "254447", "0", 
     "32", "32", "7", "4"},
    {"78", "0.05654866776461627692`18.752422377797433", "1.018279029143`*^-8",
      "119.02053300000000035652`22.075621890798885", 
     "14.17658400000000007424`21.15157159553855", 
     "12.68464200000000019486`21.10327821459137", "433920", "0", "81", "81", 
     "13", "10"},
    {"79", "0.05654866776461627692`18.752422377797433", "7.5268403091`*^-9", 
     "109.9731809999999967431`22.041286787305452", 
     "10.4403330000000007515799999999999999999999999999999999999999`21.\
018714350941732", "3.40555500000000010985`20.532187898567717", "320742", "0", 
     "34", "34", "5", "3"},
    {"80", "0.05654866776461627692`18.752422377797433", "5.18009531953`*^-9", 
     "154.78263400000000160617`22.189722232955116", 
     "14.63686700000000051602`21.165448126570503", 
     "12.7544850000000007384000000000000000000000000000000000000001`21.\
10566292737752", "441477", "0", "46", "46", "16", "10"},
    {"81", "0.05654866776461627692`18.752422377797433", "5.18009531953`*^-9", 
     "154.8814130000000091058600000000000000000000000000000000000001`22.\
189999302098258", "14.64752900000000046532`21.165764366521", 
     "12.65282400000000073703`21.102187467072355", "441477", "0", "46", "46", 
     "16", "10"},
    {"82", "0.05654866776461627692`18.752422377797433", "5.18009531953`*^-9", 
     "247.23806000000001859007`22.393115327159713", 
     "31.04533599999999893271`21.49199636452525", 
     "20.58399700000000009936`21.31352970990636", "882955", "0", "182", "182",
      "26", "16"},
    {"83", "0.05654866776461627692`18.752422377797433", "3.76545491312`*^-9", 
     "222.9474189999999964584299999999999999999999999999999999999999`22.\
34820244900882", "22.10229500000000157911`21.344437371155134", 
     "17.48702199999999962188`21.242715856414847", "641826", "0", "66", "66", 
     "25", "14"},
    {"84", "0.05654866776461627692`18.752422377797433", "3.76545491312`*^-9", 
     "359.94150100000001657463`22.556231923385887", 
     "47.8413269999999997139600000000000000000000000000000000000001`21.\
67980321740144", "46.32086000000000325372`21.665776613970397", "1283650", "0",
      "276", "276", "48", "38"},
    {"85", "0.05654866776461627692`18.752422377797433", "2.96904259174`*^-9", 
     "329.8618689999999560313900000000000000000000000000000000000001`22.\
51833211536347", 
     "38.1647469999999984224799999999999999999999999999999999999999`21.\
58166238772199", "3.36898799999999987165`20.527499464070154", "1012154", "0", 
     "140", "140", "1", "3"},
    {"86", "0.05654866776461627692`18.752422377797433", "9.7138475605`*^-10", 
     "373.2212450000000103500500000000000000000000000000000000000001`22.\
57196635727076", "22.88986600000000137811`21.359643250270405", 
     "3.6836150000000000837000000000000000000000000000000000000001`20.\
566274232786203", "662298", "0", "19", "19", "5", "2"},
    {"87", "0.05654866776461627692`18.752422377797433", "9.7138475605`*^-10", 
     "375.27130999999997129635`22.574345363280766", 
     "22.89896799999999998931`21.35981591019995", 
     "3.6630379999999997942`20.56384142401664", "662298", "0", "19", "19", 
     "5", "2"},
    {"88", "0.05654866776461627692`18.752422377797433", "9.7138475605`*^-10", 
     "583.53877800000009301584`22.76606972158419", 
     "49.12821499999999730335`21.69133098498292", 
     "13.8271829999999997795600000000000000000000000000000000000001`21.\
140733710682778", "1324590", "0", "75", "75", "18", "9"},
    {"89", "0.05654866776461627692`18.752422377797433", "8.2575868178`*^-10", 
     "555.71560199999998985732`22.74485258999645", 
     "41.04377600000000114733`21.61324730874427", 
     "12.27580299999999979832`21.08904991033168", "1126015", "0", "51", "51", 
     "17", "8"},
    {"90", "0.05654866776461627692`18.752422377797433", "8.1550157635`*^-10", 
     "877.37951999999995678081`22.943187492782858", 
     "85.25728300000000103864`21.930731488328608", 
     "40.4588419999999970855199999999999999999999999999999999999999`21.\
607013448375294", "2224052", "0", "181", "181", "38", "29"},
    {"91", "0.05654866776461627692`18.752422377797433", "6.7582829016`*^-10", 
     "824.0956570000000738218699999999999999999999999999999999999999`22.\
91597762540596", "71.81428999999999973625`21.85621087113153", 
     "3.3485619999999998164200000000000000000000000000000000000001`20.\
524858344487246", "1843129", "0", "105", "105", "2", "3"},
    {"92", "0.05654866776461627692`18.752422377797433", "2.2822985906`*^-10", 
     "981.51562300000000504951`22.991897216751806", 
     "45.90615600000000284808`21.661870928185706", 
     "6.6414650000000001739400000000000000000000000000000000000001`20.\
822263888289488", "1244862", "0", "16", "16", "7", "5"},
    {"93", "0.05654866776461627692`18.752422377797433", "2.2822985906`*^-10", 
     "983.18119300000000748696`22.99263356245932", 
     "46.49194099999999707507`21.66737767799623", 
     "6.6427290000000001057899999999999999999999999999999999999999`20.\
82234653511424", "1244862", "0", "16", "16", "7", "5"},
    {"94", "0.05654866776461627692`18.752422377797433", "2.2822985906`*^-10", 
     "1501.9181090000001859152700000000000000000000000000000000000001`23.\
176646253720765", 
     "95.5966020000000042955400000000000000000000000000000000000001`21.\
98044245546777", "16.23169299999999992679`21.210363820024142", "2489726", "0",
      "61", "61", "24", "10"},
    {"95", "0.05654866776461627692`18.752422377797433", "2.2822985906`*^-10", 
     "1494.20898499999998421117`23.174411343587103", 
     "96.3971389999999956899`21.984064144536116", 
     "2.7566220000000001277799999999999999999999999999999999999999`20.\
440377217839902", "2489726", "0", "61", "61", "6", "1"},
    {"96", "0.05654866776461627692`18.752422377797433", "1.3811500381`*^-10", 
     "2048.4925690000000031432099999999999999999999999999999999999999`23.\
31143439286903", "119.11764800000000263935`22.075976109603886", 
     "15.25391800000000053217`21.183381407436", "3013355", "0", "59", "59", 
     "22", "10"},
    {"97", "0.05654866776461627692`18.752422377797433", "1.3811500381`*^-10", 
     "2054.33245299999998678686`23.312670726904905", 
     "117.16625299999999754164`22.068802541320668", 
     "15.26594200000000078887`21.18372360803066", "3013355", "0", "59", "59", 
     "22", "10"},
    {"98", "0.05654866776461627692`18.752422377797433", "1.3811500381`*^-10", 
     "3195.6640070000003106542899999999999999999999999999999999999999`23.\
50456111119996", "237.76188700000000153523`22.376142238877403", 
     "33.3897919999999999163300000000000000000000000000000000000001`21.\
523613713647563", "6026713", "0", "226", "226", "27", "22"},
    {"99", "0.05654866776461627692`18.752422377797433", "9.198806016`*^-11", 
     "2876.17298900000014327816`23.45881500337593", 
     "156.84417199999998615567`22.195468385862807", 
     "15.09907600000000016394`21.178950371109092", "4013942", "0", "71", "71",
      "13", "10"}
   },
   GridBoxAlignment->{
    "Columns" -> {{Left}}, "ColumnsIndexed" -> {}, "Rows" -> {{Baseline}}, 
     "RowsIndexed" -> {}},
   GridBoxSpacings->{"Columns" -> {
       Offset[0.27999999999999997`], {
        Offset[2.0999999999999996`]}, 
       Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> {
       Offset[0.2], {
        Offset[0.4]}, 
       Offset[0.2]}, "RowsIndexed" -> {}}],
  Function[BoxForm`e$, 
   TableForm[BoxForm`e$]]]], "Output",
 CellChangeTimes->{{3.593896800626276*^9, 3.593896817431233*^9}, {
  3.593896881110992*^9, 3.5938968862339363`*^9}}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"bopt", "[", 
   RowBox[{"[", 
    RowBox[{"60", ";;", "68"}], "]"}], "]"}], "//", "TableForm"}]], "Input",
 CellChangeTimes->{{3.593896890115487*^9, 3.593896897449153*^9}}],

Cell[BoxData[
 TagBox[GridBox[{
    {"66", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "783.97384699999997792474`22.894301575065768", 
     "1.5397700000000000830600000000000000000000000000000000000001`20.\
187455853829498", "3.66497800000000006904`20.56407137201746", "54503", "0", 
     "12", "12", "5", "3"},
    {"67", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "785.86808900000005451147`22.89534965414735", 
     "1.5413349999999998996`20.187897040301646", 
     "3.6403029999999998445000000000000000000000000000000000000001`20.\
56113753358076", "54503", "0", "12", "12", "5", "3"},
    {"68", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "1116.89172899999994115205`23.048011074837284", 
     "3.2768389999999998352099999999999999999999999999999999999999`20.\
515455103839123", "9.4888619999999992416`20.977214130577387", "109004", "0", 
     "40", "40", "12", "6"},
    {"69", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "1116.1310189999999238352799999999999999999999999999999999999999`23.\
047715178014546", "3.26412300000000010769`20.513766515650094", 
     "9.4389400000000005519500000000000000000000000000000000000001`20.\
974923225442264", "109004", "0", "40", "40", "12", "6"},
    {"70", "0.05654866776461627692`18.752422377797433", "8.185622599889`*^-8",
      "1595.43001699999990705692`23.202877758766256", 
     "7.41963300000000014478`20.8703824241447", 
     "10.16422599999999931697`21.007074312956618", "218004", "0", "175", 
     "175", "16", "7"},
    {"71", "0.05654866776461627692`18.752422377797433", "4.573318689134`*^-8",
      "1575.5171530000000075233400000000000000000000000000000000000001`23.\
19742313579481", 
     "3.7925849999999998729499999999999999999999999999999999999999`20.\
57893532304276", "8.4200459999999992533`20.925314464123357", "121800", "0", 
     "29", "29", "15", "6"},
    {"72", "0.05654866776461627692`18.752422377797433", "4.573318689134`*^-8",
      "2244.38068699999985255999`23.351096522923324", 
     "8.11123800000000017008`20.909087144659477", 
     "17.45647400000000004638`21.241956525910958", "243601", "0", "119", 
     "119", "25", "12"},
    {"73", "0.05654866776461627692`18.752422377797433", "3.878810532482`*^-8",
      "2223.36178600000039295992`23.347010136958687", 
     "6.5910830000000002471`20.818956780645646", 
     "10.37916700000000069792`21.016162499772534", "206607", "0", "75", "75", 
     "17", "8"},
    {"74", "0.05654866776461627692`18.752422377797433", "3.290746006678`*^-8",
      "3158.72403200000007927883`23.499511684589883", 
     "11.74077499999999929514`21.069696765319996", 
     "12.40375200000000077694`21.093553074389845", "350569", "0", "183", 
     "183", "7", "9"}
   },
   GridBoxAlignment->{
    "Columns" -> {{Left}}, "ColumnsIndexed" -> {}, "Rows" -> {{Baseline}}, 
     "RowsIndexed" -> {}},
   GridBoxSpacings->{"Columns" -> {
       Offset[0.27999999999999997`], {
        Offset[2.0999999999999996`]}, 
       Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> {
       Offset[0.2], {
        Offset[0.4]}, 
       Offset[0.2]}, "RowsIndexed" -> {}}],
  Function[BoxForm`e$, 
   TableForm[BoxForm`e$]]]], "Output",
 CellChangeTimes->{
  3.5938968475596113`*^9, {3.593896890646305*^9, 3.593896898294382*^9}}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData["0.00000000000052300777"], "Input",
 CellChangeTimes->{{3.5939022480921926`*^9, 3.5939022480925007`*^9}}],

Cell[BoxData["5.2300777`*^-13"], "Output",
 CellChangeTimes->{3.5939022485737886`*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"23369417", "*", 
   RowBox[{"16", "/", 
    RowBox[{"(", 
     RowBox[{"2", "^", "30"}], ")"}]}]}], "//", "N"}]], "Input",
 CellChangeTimes->{{3.593902516386262*^9, 3.593902540287133*^9}}],

Cell[BoxData["0.3482314497232437`"], "Output",
 CellChangeTimes->{{3.5939025248401403`*^9, 3.593902540671795*^9}}]
}, Open  ]]
},
WindowSize->{1610, 867},
WindowMargins->{{Automatic, 73}, {Automatic, 52}},
FrontEndVersion->"8.0 for Linux x86 (64-bit) (October 10, 2011)",
StyleDefinitions->"Default.nb"
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[557, 20, 21447, 415, 1236, "Input"],
Cell[CellGroupData[{
Cell[22029, 439, 133, 2, 29, "Input"],
Cell[22165, 443, 23018, 408, 1192, "Output"]
}, Open  ]],
Cell[45198, 854, 23071, 451, 1344, "Input"],
Cell[CellGroupData[{
Cell[68294, 1309, 209, 5, 29, "Input"],
Cell[68506, 1316, 3886, 71, 235, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[72429, 1392, 211, 5, 29, "Input"],
Cell[72643, 1399, 3461, 62, 197, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[76141, 1466, 206, 5, 29, "Input"],
Cell[76350, 1473, 5142, 92, 311, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[81529, 1570, 556, 17, 29, "Input"],
Cell[82088, 1589, 285, 6, 38, "Output"]
}, Open  ]],
Cell[82388, 1598, 123, 2, 29, "Input"],
Cell[82514, 1602, 28973, 565, 1686, "Input"],
Cell[CellGroupData[{
Cell[111512, 2171, 258, 6, 29, "Input"],
Cell[111773, 2179, 11143, 190, 672, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[122953, 2374, 207, 5, 29, "Input"],
Cell[123163, 2381, 3353, 62, 197, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[126553, 2448, 118, 1, 29, "Input"],
Cell[126674, 2451, 86, 1, 32, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[126797, 2457, 223, 6, 29, "Input"],
Cell[127023, 2465, 114, 1, 29, "Output"]
}, Open  ]]
}
]
*)

(* End of internal cache information *)

